Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167006824> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2167006824 endingPage "39" @default.
- W2167006824 startingPage "1" @default.
- W2167006824 abstract "A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based, computations. Conversely, by the Weierstrass Approximation Theorem, every continuous f :[0,1]→ℝ is computable relative to some oracle. In their search for a similar topological characterization of relatively computable multi- valued functions f :[0,1]⇒ℝ (aka relations), Brattka and Hertling (1994) have considered two notions: weak continuity (which is weaker than relative computability) and strong continuity (which is stronger than relative computability). Observing that uniform continuity plays a crucial role in the Weierstrass Theorem, we propose and compare several notions of uniform continuity for relations. Here, due to the additional quantification over values y ∈ f ( x ), new ways arise of (linearly) ordering quantifiers — yet none turns out as satisfactory. We are thus led to a concept of uniform continuity based on the Henkin quantifier ; and prove it necessary for relative computability of compact real relations. In fact iterating this condition yields a strict hierarchy of notions each necessary — and the ω-th level also sufficient — for relative computability." @default.
- W2167006824 created "2016-06-24" @default.
- W2167006824 creator A5021791570 @default.
- W2167006824 creator A5091475454 @default.
- W2167006824 date "2013-01-01" @default.
- W2167006824 modified "2023-10-18" @default.
- W2167006824 title "Relative computability and uniform continuity of relations" @default.
- W2167006824 cites W120057786 @default.
- W2167006824 cites W126568045 @default.
- W2167006824 cites W128040422 @default.
- W2167006824 cites W1409923021 @default.
- W2167006824 cites W1574518386 @default.
- W2167006824 cites W1576837624 @default.
- W2167006824 cites W1602845793 @default.
- W2167006824 cites W1752840555 @default.
- W2167006824 cites W1967704436 @default.
- W2167006824 cites W1975561883 @default.
- W2167006824 cites W1976671424 @default.
- W2167006824 cites W2004000165 @default.
- W2167006824 cites W2006786362 @default.
- W2167006824 cites W2007008704 @default.
- W2167006824 cites W2033819630 @default.
- W2167006824 cites W2044009111 @default.
- W2167006824 cites W2080180423 @default.
- W2167006824 cites W2087950601 @default.
- W2167006824 cites W2089065016 @default.
- W2167006824 cites W2090564910 @default.
- W2167006824 cites W2117033549 @default.
- W2167006824 cites W2118835180 @default.
- W2167006824 cites W2159054279 @default.
- W2167006824 cites W2169277847 @default.
- W2167006824 cites W2187891975 @default.
- W2167006824 cites W2404589526 @default.
- W2167006824 cites W2611511037 @default.
- W2167006824 cites W2911572548 @default.
- W2167006824 cites W3106040729 @default.
- W2167006824 cites W32678173 @default.
- W2167006824 cites W582265660 @default.
- W2167006824 cites W613549528 @default.
- W2167006824 doi "https://doi.org/10.4115/jla.2013.5.7" @default.
- W2167006824 hasPublicationYear "2013" @default.
- W2167006824 type Work @default.
- W2167006824 sameAs 2167006824 @default.
- W2167006824 citedByCount "18" @default.
- W2167006824 countsByYear W21670068242012 @default.
- W2167006824 countsByYear W21670068242014 @default.
- W2167006824 countsByYear W21670068242015 @default.
- W2167006824 countsByYear W21670068242016 @default.
- W2167006824 countsByYear W21670068242017 @default.
- W2167006824 countsByYear W21670068242019 @default.
- W2167006824 countsByYear W21670068242020 @default.
- W2167006824 countsByYear W21670068242022 @default.
- W2167006824 crossrefType "journal-article" @default.
- W2167006824 hasAuthorship W2167006824A5021791570 @default.
- W2167006824 hasAuthorship W2167006824A5091475454 @default.
- W2167006824 hasBestOaLocation W21670068241 @default.
- W2167006824 hasConcept C118615104 @default.
- W2167006824 hasConcept C152062344 @default.
- W2167006824 hasConcept C199343813 @default.
- W2167006824 hasConcept C202444582 @default.
- W2167006824 hasConcept C2777686260 @default.
- W2167006824 hasConcept C33923547 @default.
- W2167006824 hasConcept C71924100 @default.
- W2167006824 hasConceptScore W2167006824C118615104 @default.
- W2167006824 hasConceptScore W2167006824C152062344 @default.
- W2167006824 hasConceptScore W2167006824C199343813 @default.
- W2167006824 hasConceptScore W2167006824C202444582 @default.
- W2167006824 hasConceptScore W2167006824C2777686260 @default.
- W2167006824 hasConceptScore W2167006824C33923547 @default.
- W2167006824 hasConceptScore W2167006824C71924100 @default.
- W2167006824 hasLocation W21670068241 @default.
- W2167006824 hasLocation W21670068242 @default.
- W2167006824 hasLocation W21670068243 @default.
- W2167006824 hasLocation W21670068244 @default.
- W2167006824 hasOpenAccess W2167006824 @default.
- W2167006824 hasPrimaryLocation W21670068241 @default.
- W2167006824 hasRelatedWork W1557945163 @default.
- W2167006824 hasRelatedWork W1985218657 @default.
- W2167006824 hasRelatedWork W2064847051 @default.
- W2167006824 hasRelatedWork W2096753949 @default.
- W2167006824 hasRelatedWork W2314051058 @default.
- W2167006824 hasRelatedWork W2742285599 @default.
- W2167006824 hasRelatedWork W2963341196 @default.
- W2167006824 hasRelatedWork W3103780039 @default.
- W2167006824 hasRelatedWork W3106133691 @default.
- W2167006824 hasRelatedWork W4249580765 @default.
- W2167006824 isParatext "false" @default.
- W2167006824 isRetracted "false" @default.
- W2167006824 magId "2167006824" @default.
- W2167006824 workType "article" @default.