Matches in SemOpenAlex for { <https://semopenalex.org/work/W2612864725> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2612864725 abstract "We study infinite time Turing machines that attain a special state at a given class of ordinals during the computation. We prove results about sets that can be recognized by these machines. For instance, the recognizable sets of natural numbers with respect to the cardinal-detecting infinite time Turing machines introduced in [Hab13] are contained in a countable level of the constructible hierarchy, and the recognizable sets of natural numbers with respect to finitely many ordinal parameters are constructible." @default.
- W2612864725 created "2017-05-19" @default.
- W2612864725 creator A5003413515 @default.
- W2612864725 creator A5012757472 @default.
- W2612864725 date "2017-01-01" @default.
- W2612864725 modified "2023-09-27" @default.
- W2612864725 title "The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters" @default.
- W2612864725 cites W1983809139 @default.
- W2612864725 cites W2050766716 @default.
- W2612864725 cites W2294961809 @default.
- W2612864725 cites W2296203075 @default.
- W2612864725 cites W2471718976 @default.
- W2612864725 cites W2491972521 @default.
- W2612864725 cites W2571490773 @default.
- W2612864725 cites W3098257753 @default.
- W2612864725 doi "https://doi.org/10.1007/978-3-319-58741-7_20" @default.
- W2612864725 hasPublicationYear "2017" @default.
- W2612864725 type Work @default.
- W2612864725 sameAs 2612864725 @default.
- W2612864725 citedByCount "0" @default.
- W2612864725 crossrefType "book-chapter" @default.
- W2612864725 hasAuthorship W2612864725A5003413515 @default.
- W2612864725 hasAuthorship W2612864725A5012757472 @default.
- W2612864725 hasConcept C110729354 @default.
- W2612864725 hasConcept C11413529 @default.
- W2612864725 hasConcept C118615104 @default.
- W2612864725 hasConcept C131671149 @default.
- W2612864725 hasConcept C154945302 @default.
- W2612864725 hasConcept C162324750 @default.
- W2612864725 hasConcept C184264201 @default.
- W2612864725 hasConcept C2777212361 @default.
- W2612864725 hasConcept C29248071 @default.
- W2612864725 hasConcept C31170391 @default.
- W2612864725 hasConcept C33923547 @default.
- W2612864725 hasConcept C34447519 @default.
- W2612864725 hasConcept C41008148 @default.
- W2612864725 hasConcept C45374587 @default.
- W2612864725 hasConcept C48415503 @default.
- W2612864725 hasConcept C56049555 @default.
- W2612864725 hasConcept C80444323 @default.
- W2612864725 hasConceptScore W2612864725C110729354 @default.
- W2612864725 hasConceptScore W2612864725C11413529 @default.
- W2612864725 hasConceptScore W2612864725C118615104 @default.
- W2612864725 hasConceptScore W2612864725C131671149 @default.
- W2612864725 hasConceptScore W2612864725C154945302 @default.
- W2612864725 hasConceptScore W2612864725C162324750 @default.
- W2612864725 hasConceptScore W2612864725C184264201 @default.
- W2612864725 hasConceptScore W2612864725C2777212361 @default.
- W2612864725 hasConceptScore W2612864725C29248071 @default.
- W2612864725 hasConceptScore W2612864725C31170391 @default.
- W2612864725 hasConceptScore W2612864725C33923547 @default.
- W2612864725 hasConceptScore W2612864725C34447519 @default.
- W2612864725 hasConceptScore W2612864725C41008148 @default.
- W2612864725 hasConceptScore W2612864725C45374587 @default.
- W2612864725 hasConceptScore W2612864725C48415503 @default.
- W2612864725 hasConceptScore W2612864725C56049555 @default.
- W2612864725 hasConceptScore W2612864725C80444323 @default.
- W2612864725 hasLocation W26128647251 @default.
- W2612864725 hasOpenAccess W2612864725 @default.
- W2612864725 hasPrimaryLocation W26128647251 @default.
- W2612864725 hasRelatedWork W1575814589 @default.
- W2612864725 hasRelatedWork W1580502441 @default.
- W2612864725 hasRelatedWork W1607425412 @default.
- W2612864725 hasRelatedWork W1654518868 @default.
- W2612864725 hasRelatedWork W1668203216 @default.
- W2612864725 hasRelatedWork W2015497757 @default.
- W2612864725 hasRelatedWork W2055501139 @default.
- W2612864725 hasRelatedWork W2060434897 @default.
- W2612864725 hasRelatedWork W2088973818 @default.
- W2612864725 hasRelatedWork W2109661184 @default.
- W2612864725 hasRelatedWork W2134322756 @default.
- W2612864725 hasRelatedWork W2571490773 @default.
- W2612864725 hasRelatedWork W2580636966 @default.
- W2612864725 hasRelatedWork W2912644765 @default.
- W2612864725 hasRelatedWork W2952793579 @default.
- W2612864725 hasRelatedWork W2963998279 @default.
- W2612864725 hasRelatedWork W2972938863 @default.
- W2612864725 hasRelatedWork W3098257753 @default.
- W2612864725 hasRelatedWork W3138839731 @default.
- W2612864725 hasRelatedWork W2178007895 @default.
- W2612864725 isParatext "false" @default.
- W2612864725 isRetracted "false" @default.
- W2612864725 magId "2612864725" @default.
- W2612864725 workType "book-chapter" @default.