Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056534351> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2056534351 endingPage "94" @default.
- W2056534351 startingPage "81" @default.
- W2056534351 abstract "We present a new recursion-theoretic characterization of FCH, the hierarchy of counting functions, in binary notation. Afterwards we introduce a theory of bounded arithmetic, TCA, that can be seen as a reformulation, in the binary setting, of Jan Johannsen and Chris Pollett's system D02. Using the previous inductive characterization of FCH, we show that a strategy similar to the one applied to D02 can be used in order to characterize FCH as the class of functions provably total in TCA." @default.
- W2056534351 created "2016-06-24" @default.
- W2056534351 creator A5012426547 @default.
- W2056534351 date "2009-01-01" @default.
- W2056534351 modified "2023-09-25" @default.
- W2056534351 title "The counting hierarchy in binary notation" @default.
- W2056534351 doi "https://doi.org/10.4171/pm/1832" @default.
- W2056534351 hasPublicationYear "2009" @default.
- W2056534351 type Work @default.
- W2056534351 sameAs 2056534351 @default.
- W2056534351 citedByCount "2" @default.
- W2056534351 countsByYear W20565343512013 @default.
- W2056534351 countsByYear W20565343512017 @default.
- W2056534351 crossrefType "journal-article" @default.
- W2056534351 hasAuthorship W2056534351A5012426547 @default.
- W2056534351 hasConcept C11413529 @default.
- W2056534351 hasConcept C118615104 @default.
- W2056534351 hasConcept C134306372 @default.
- W2056534351 hasConcept C136119220 @default.
- W2056534351 hasConcept C154945302 @default.
- W2056534351 hasConcept C162324750 @default.
- W2056534351 hasConcept C168773036 @default.
- W2056534351 hasConcept C171250308 @default.
- W2056534351 hasConcept C192562407 @default.
- W2056534351 hasConcept C202444582 @default.
- W2056534351 hasConcept C2777212361 @default.
- W2056534351 hasConcept C2780841128 @default.
- W2056534351 hasConcept C31170391 @default.
- W2056534351 hasConcept C33923547 @default.
- W2056534351 hasConcept C34388435 @default.
- W2056534351 hasConcept C34447519 @default.
- W2056534351 hasConcept C41008148 @default.
- W2056534351 hasConcept C45357846 @default.
- W2056534351 hasConcept C48372109 @default.
- W2056534351 hasConcept C94375191 @default.
- W2056534351 hasConceptScore W2056534351C11413529 @default.
- W2056534351 hasConceptScore W2056534351C118615104 @default.
- W2056534351 hasConceptScore W2056534351C134306372 @default.
- W2056534351 hasConceptScore W2056534351C136119220 @default.
- W2056534351 hasConceptScore W2056534351C154945302 @default.
- W2056534351 hasConceptScore W2056534351C162324750 @default.
- W2056534351 hasConceptScore W2056534351C168773036 @default.
- W2056534351 hasConceptScore W2056534351C171250308 @default.
- W2056534351 hasConceptScore W2056534351C192562407 @default.
- W2056534351 hasConceptScore W2056534351C202444582 @default.
- W2056534351 hasConceptScore W2056534351C2777212361 @default.
- W2056534351 hasConceptScore W2056534351C2780841128 @default.
- W2056534351 hasConceptScore W2056534351C31170391 @default.
- W2056534351 hasConceptScore W2056534351C33923547 @default.
- W2056534351 hasConceptScore W2056534351C34388435 @default.
- W2056534351 hasConceptScore W2056534351C34447519 @default.
- W2056534351 hasConceptScore W2056534351C41008148 @default.
- W2056534351 hasConceptScore W2056534351C45357846 @default.
- W2056534351 hasConceptScore W2056534351C48372109 @default.
- W2056534351 hasConceptScore W2056534351C94375191 @default.
- W2056534351 hasLocation W20565343511 @default.
- W2056534351 hasOpenAccess W2056534351 @default.
- W2056534351 hasPrimaryLocation W20565343511 @default.
- W2056534351 hasRelatedWork W2012841980 @default.
- W2056534351 hasRelatedWork W2040362316 @default.
- W2056534351 hasRelatedWork W2050018944 @default.
- W2056534351 hasRelatedWork W2054394744 @default.
- W2056534351 hasRelatedWork W2167306540 @default.
- W2056534351 hasRelatedWork W2551315150 @default.
- W2056534351 hasRelatedWork W2596366088 @default.
- W2056534351 hasRelatedWork W2900525721 @default.
- W2056534351 hasRelatedWork W2911316623 @default.
- W2056534351 hasRelatedWork W3140454877 @default.
- W2056534351 isParatext "false" @default.
- W2056534351 isRetracted "false" @default.
- W2056534351 magId "2056534351" @default.
- W2056534351 workType "article" @default.