Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296574553> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4296574553 abstract "We show that the bar recursion operators of Spector and Kohlenbach, considered as third-order functionals acting on total arguments, are not computable in Goedel's System T plus minimization, which we show to be equivalent to a programming language with a higher-order iteration construct. The main result is formulated so as to imply the non-definability of bar recursion in T + min within a variety of partial and total models, for instance the Kleene-Kreisel continuous functionals. The paper thus supplies proofs of some results stated in the book by Longley and Normann. The proof of the main theorem makes serious use of the theory of nested sequential procedures (also known as PCF Boehm trees), and proceeds by showing that bar recursion cannot be represented by any sequential procedure within which the tree of nested function applications is well-founded." @default.
- W4296574553 created "2022-09-21" @default.
- W4296574553 creator A5061149115 @default.
- W4296574553 date "2018-04-19" @default.
- W4296574553 modified "2023-09-24" @default.
- W4296574553 title "Bar recursion is not computable via iteration" @default.
- W4296574553 doi "https://doi.org/10.48550/arxiv.1804.07277" @default.
- W4296574553 hasPublicationYear "2018" @default.
- W4296574553 type Work @default.
- W4296574553 citedByCount "0" @default.
- W4296574553 crossrefType "posted-content" @default.
- W4296574553 hasAuthorship W4296574553A5061149115 @default.
- W4296574553 hasBestOaLocation W42965745531 @default.
- W4296574553 hasConcept C10138342 @default.
- W4296574553 hasConcept C105795698 @default.
- W4296574553 hasConcept C108710211 @default.
- W4296574553 hasConcept C113174947 @default.
- W4296574553 hasConcept C11413529 @default.
- W4296574553 hasConcept C114614502 @default.
- W4296574553 hasConcept C118615104 @default.
- W4296574553 hasConcept C121332964 @default.
- W4296574553 hasConcept C136119220 @default.
- W4296574553 hasConcept C136197465 @default.
- W4296574553 hasConcept C14036430 @default.
- W4296574553 hasConcept C153294291 @default.
- W4296574553 hasConcept C162324750 @default.
- W4296574553 hasConcept C168773036 @default.
- W4296574553 hasConcept C182306322 @default.
- W4296574553 hasConcept C188721877 @default.
- W4296574553 hasConcept C202444582 @default.
- W4296574553 hasConcept C2524010 @default.
- W4296574553 hasConcept C33923547 @default.
- W4296574553 hasConcept C41008148 @default.
- W4296574553 hasConcept C54271186 @default.
- W4296574553 hasConcept C78458016 @default.
- W4296574553 hasConcept C86803240 @default.
- W4296574553 hasConceptScore W4296574553C10138342 @default.
- W4296574553 hasConceptScore W4296574553C105795698 @default.
- W4296574553 hasConceptScore W4296574553C108710211 @default.
- W4296574553 hasConceptScore W4296574553C113174947 @default.
- W4296574553 hasConceptScore W4296574553C11413529 @default.
- W4296574553 hasConceptScore W4296574553C114614502 @default.
- W4296574553 hasConceptScore W4296574553C118615104 @default.
- W4296574553 hasConceptScore W4296574553C121332964 @default.
- W4296574553 hasConceptScore W4296574553C136119220 @default.
- W4296574553 hasConceptScore W4296574553C136197465 @default.
- W4296574553 hasConceptScore W4296574553C14036430 @default.
- W4296574553 hasConceptScore W4296574553C153294291 @default.
- W4296574553 hasConceptScore W4296574553C162324750 @default.
- W4296574553 hasConceptScore W4296574553C168773036 @default.
- W4296574553 hasConceptScore W4296574553C182306322 @default.
- W4296574553 hasConceptScore W4296574553C188721877 @default.
- W4296574553 hasConceptScore W4296574553C202444582 @default.
- W4296574553 hasConceptScore W4296574553C2524010 @default.
- W4296574553 hasConceptScore W4296574553C33923547 @default.
- W4296574553 hasConceptScore W4296574553C41008148 @default.
- W4296574553 hasConceptScore W4296574553C54271186 @default.
- W4296574553 hasConceptScore W4296574553C78458016 @default.
- W4296574553 hasConceptScore W4296574553C86803240 @default.
- W4296574553 hasLocation W42965745531 @default.
- W4296574553 hasLocation W42965745532 @default.
- W4296574553 hasOpenAccess W4296574553 @default.
- W4296574553 hasPrimaryLocation W42965745531 @default.
- W4296574553 hasRelatedWork W115501304 @default.
- W4296574553 hasRelatedWork W145900249 @default.
- W4296574553 hasRelatedWork W1497390102 @default.
- W4296574553 hasRelatedWork W2002385864 @default.
- W4296574553 hasRelatedWork W2131625422 @default.
- W4296574553 hasRelatedWork W2776057122 @default.
- W4296574553 hasRelatedWork W3184399009 @default.
- W4296574553 hasRelatedWork W4286434485 @default.
- W4296574553 hasRelatedWork W4311038273 @default.
- W4296574553 hasRelatedWork W171777533 @default.
- W4296574553 isParatext "false" @default.
- W4296574553 isRetracted "false" @default.
- W4296574553 workType "article" @default.