Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950512455> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2950512455 abstract "We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multi-valued function Sep and a natural notion of reducibility for multi-valued functions, we obtain a computational counterpart of the subsystem of second order arithmetic WKL_0. We study analogies and differences between WKL_0 and the class of Sep-computable multi-valued functions. Extending work of Brattka, we show that a natural multi-valued function associated with the Hahn-Banach Extension Theorem is Sep-complete." @default.
- W2950512455 created "2019-06-27" @default.
- W2950512455 creator A5024845018 @default.
- W2950512455 creator A5047796693 @default.
- W2950512455 date "2008-08-12" @default.
- W2950512455 modified "2023-09-27" @default.
- W2950512455 title "How incomputable is the separable Hahn-Banach theorem?" @default.
- W2950512455 cites W1539382740 @default.
- W2950512455 cites W1556453281 @default.
- W2950512455 cites W1578854475 @default.
- W2950512455 cites W1621754453 @default.
- W2950512455 cites W2005943267 @default.
- W2950512455 cites W2013342737 @default.
- W2950512455 cites W2027931514 @default.
- W2950512455 cites W2087408122 @default.
- W2950512455 cites W2133335811 @default.
- W2950512455 hasPublicationYear "2008" @default.
- W2950512455 type Work @default.
- W2950512455 sameAs 2950512455 @default.
- W2950512455 citedByCount "2" @default.
- W2950512455 crossrefType "posted-content" @default.
- W2950512455 hasAuthorship W2950512455A5024845018 @default.
- W2950512455 hasAuthorship W2950512455A5047796693 @default.
- W2950512455 hasConcept C118615104 @default.
- W2950512455 hasConcept C127753061 @default.
- W2950512455 hasConcept C132954091 @default.
- W2950512455 hasConcept C134306372 @default.
- W2950512455 hasConcept C136119220 @default.
- W2950512455 hasConcept C14036430 @default.
- W2950512455 hasConcept C154945302 @default.
- W2950512455 hasConcept C167729594 @default.
- W2950512455 hasConcept C18903297 @default.
- W2950512455 hasConcept C199360897 @default.
- W2950512455 hasConcept C202444582 @default.
- W2950512455 hasConcept C2524010 @default.
- W2950512455 hasConcept C27318111 @default.
- W2950512455 hasConcept C2777212361 @default.
- W2950512455 hasConcept C2777759810 @default.
- W2950512455 hasConcept C2778029271 @default.
- W2950512455 hasConcept C33923547 @default.
- W2950512455 hasConcept C41008148 @default.
- W2950512455 hasConcept C46757340 @default.
- W2950512455 hasConcept C54271186 @default.
- W2950512455 hasConcept C70710897 @default.
- W2950512455 hasConcept C78458016 @default.
- W2950512455 hasConcept C86803240 @default.
- W2950512455 hasConceptScore W2950512455C118615104 @default.
- W2950512455 hasConceptScore W2950512455C127753061 @default.
- W2950512455 hasConceptScore W2950512455C132954091 @default.
- W2950512455 hasConceptScore W2950512455C134306372 @default.
- W2950512455 hasConceptScore W2950512455C136119220 @default.
- W2950512455 hasConceptScore W2950512455C14036430 @default.
- W2950512455 hasConceptScore W2950512455C154945302 @default.
- W2950512455 hasConceptScore W2950512455C167729594 @default.
- W2950512455 hasConceptScore W2950512455C18903297 @default.
- W2950512455 hasConceptScore W2950512455C199360897 @default.
- W2950512455 hasConceptScore W2950512455C202444582 @default.
- W2950512455 hasConceptScore W2950512455C2524010 @default.
- W2950512455 hasConceptScore W2950512455C27318111 @default.
- W2950512455 hasConceptScore W2950512455C2777212361 @default.
- W2950512455 hasConceptScore W2950512455C2777759810 @default.
- W2950512455 hasConceptScore W2950512455C2778029271 @default.
- W2950512455 hasConceptScore W2950512455C33923547 @default.
- W2950512455 hasConceptScore W2950512455C41008148 @default.
- W2950512455 hasConceptScore W2950512455C46757340 @default.
- W2950512455 hasConceptScore W2950512455C54271186 @default.
- W2950512455 hasConceptScore W2950512455C70710897 @default.
- W2950512455 hasConceptScore W2950512455C78458016 @default.
- W2950512455 hasConceptScore W2950512455C86803240 @default.
- W2950512455 hasLocation W29505124551 @default.
- W2950512455 hasOpenAccess W2950512455 @default.
- W2950512455 hasPrimaryLocation W29505124551 @default.
- W2950512455 hasRelatedWork W1519061075 @default.
- W2950512455 hasRelatedWork W1544955410 @default.
- W2950512455 hasRelatedWork W1593562194 @default.
- W2950512455 hasRelatedWork W1813874586 @default.
- W2950512455 hasRelatedWork W1995532204 @default.
- W2950512455 hasRelatedWork W2003539498 @default.
- W2950512455 hasRelatedWork W2017913463 @default.
- W2950512455 hasRelatedWork W2088914813 @default.
- W2950512455 hasRelatedWork W2214365440 @default.
- W2950512455 hasRelatedWork W2516234460 @default.
- W2950512455 hasRelatedWork W2560357192 @default.
- W2950512455 hasRelatedWork W25617978 @default.
- W2950512455 hasRelatedWork W2605948154 @default.
- W2950512455 hasRelatedWork W2767805006 @default.
- W2950512455 hasRelatedWork W2785291680 @default.
- W2950512455 hasRelatedWork W2950100325 @default.
- W2950512455 hasRelatedWork W2962722379 @default.
- W2950512455 hasRelatedWork W3106040729 @default.
- W2950512455 hasRelatedWork W3142317440 @default.
- W2950512455 hasRelatedWork W98540345 @default.
- W2950512455 isParatext "false" @default.
- W2950512455 isRetracted "false" @default.
- W2950512455 magId "2950512455" @default.
- W2950512455 workType "article" @default.