Matches in SemOpenAlex for { <https://semopenalex.org/work/W1056431228> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1056431228 abstract "We prove that if a closed subset X of the Baire space is searchable in the sense of Escardo (Logical Methods in Computer Science 4(3) (2008), 3), and by a functional definable in Godel's T ,t henX is countable, and the Cantor-Bendixson rank of X is bounded by the ordinal e0. To this end we introduce evaluation trees, well founded decorated trees that induce operators from the full set-theoretical class N N → N to N N. We prove that when a search operator for a set X is induced from an evaluation tree T , then the Cantor-Bendixson rank of X is bounded by the Kleene-Brouwer order type of T. Further we use a theorem due to Howard (Journal of Symbolic Logic 45(3) (1980), 493-504), estimating the ordinal complexity of the reduction tree of a term in system T, to show that all functionals of type (N N → N) → N N definable in T can be computed using an evaluation tree of ordinal rank below e0." @default.
- W1056431228 created "2016-06-24" @default.
- W1056431228 creator A5007539743 @default.
- W1056431228 date "2016-02-11" @default.
- W1056431228 modified "2023-10-18" @default.
- W1056431228 title "On the Cantor–Bendixson rank of a set that is searchable in Gödel’s T" @default.
- W1056431228 cites W1515039666 @default.
- W1056431228 cites W1525064220 @default.
- W1056431228 cites W2007270285 @default.
- W1056431228 cites W2016385284 @default.
- W1056431228 cites W2030975201 @default.
- W1056431228 cites W2049268966 @default.
- W1056431228 cites W2084041069 @default.
- W1056431228 cites W2152101460 @default.
- W1056431228 doi "https://doi.org/10.3233/com-150043" @default.
- W1056431228 hasPublicationYear "2016" @default.
- W1056431228 type Work @default.
- W1056431228 sameAs 1056431228 @default.
- W1056431228 citedByCount "0" @default.
- W1056431228 crossrefType "journal-article" @default.
- W1056431228 hasAuthorship W1056431228A5007539743 @default.
- W1056431228 hasBestOaLocation W10564312282 @default.
- W1056431228 hasConcept C110729354 @default.
- W1056431228 hasConcept C113174947 @default.
- W1056431228 hasConcept C114614502 @default.
- W1056431228 hasConcept C118615104 @default.
- W1056431228 hasConcept C134306372 @default.
- W1056431228 hasConcept C138890893 @default.
- W1056431228 hasConcept C147358099 @default.
- W1056431228 hasConcept C154945302 @default.
- W1056431228 hasConcept C164226766 @default.
- W1056431228 hasConcept C18903297 @default.
- W1056431228 hasConcept C2777212361 @default.
- W1056431228 hasConcept C2777299769 @default.
- W1056431228 hasConcept C33923547 @default.
- W1056431228 hasConcept C34388435 @default.
- W1056431228 hasConcept C41008148 @default.
- W1056431228 hasConcept C86803240 @default.
- W1056431228 hasConceptScore W1056431228C110729354 @default.
- W1056431228 hasConceptScore W1056431228C113174947 @default.
- W1056431228 hasConceptScore W1056431228C114614502 @default.
- W1056431228 hasConceptScore W1056431228C118615104 @default.
- W1056431228 hasConceptScore W1056431228C134306372 @default.
- W1056431228 hasConceptScore W1056431228C138890893 @default.
- W1056431228 hasConceptScore W1056431228C147358099 @default.
- W1056431228 hasConceptScore W1056431228C154945302 @default.
- W1056431228 hasConceptScore W1056431228C164226766 @default.
- W1056431228 hasConceptScore W1056431228C18903297 @default.
- W1056431228 hasConceptScore W1056431228C2777212361 @default.
- W1056431228 hasConceptScore W1056431228C2777299769 @default.
- W1056431228 hasConceptScore W1056431228C33923547 @default.
- W1056431228 hasConceptScore W1056431228C34388435 @default.
- W1056431228 hasConceptScore W1056431228C41008148 @default.
- W1056431228 hasConceptScore W1056431228C86803240 @default.
- W1056431228 hasLocation W10564312281 @default.
- W1056431228 hasLocation W10564312282 @default.
- W1056431228 hasOpenAccess W1056431228 @default.
- W1056431228 hasPrimaryLocation W10564312281 @default.
- W1056431228 hasRelatedWork W1489701161 @default.
- W1056431228 hasRelatedWork W1632331624 @default.
- W1056431228 hasRelatedWork W1971456489 @default.
- W1056431228 hasRelatedWork W1985615626 @default.
- W1056431228 hasRelatedWork W2131443763 @default.
- W1056431228 hasRelatedWork W2135826414 @default.
- W1056431228 hasRelatedWork W2160493389 @default.
- W1056431228 hasRelatedWork W2162499956 @default.
- W1056431228 hasRelatedWork W2164604747 @default.
- W1056431228 hasRelatedWork W2165339507 @default.
- W1056431228 hasRelatedWork W2233228795 @default.
- W1056431228 hasRelatedWork W2338056871 @default.
- W1056431228 hasRelatedWork W247209993 @default.
- W1056431228 hasRelatedWork W2483226204 @default.
- W1056431228 hasRelatedWork W2945433569 @default.
- W1056431228 hasRelatedWork W2951989361 @default.
- W1056431228 hasRelatedWork W3042218409 @default.
- W1056431228 hasRelatedWork W3098671307 @default.
- W1056431228 hasRelatedWork W3104477579 @default.
- W1056431228 hasRelatedWork W3180162932 @default.
- W1056431228 isParatext "false" @default.
- W1056431228 isRetracted "false" @default.
- W1056431228 magId "1056431228" @default.
- W1056431228 workType "article" @default.