Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912644765> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2912644765 endingPage "289" @default.
- W2912644765 startingPage "280" @default.
- W2912644765 abstract "Ordinal computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines, where α and β bound the time axis and the space axis of some machine model. The spectrum ranges from classical Turing computability to ∞-∞-computability which corresponds to Gödel’s model of constructible sets. To illustrate some typical techniques we prove a new result on Infinite Time Register Machines (= ∞-ω-register machines) which were introduced in [6]: a real number x ∈ ω 2 is computable by an Infinite Time Register Machine iff it is Turing computable from some finitely iterated hyperjump 0(n)." @default.
- W2912644765 created "2019-02-21" @default.
- W2912644765 creator A5078814566 @default.
- W2912644765 date "2009-01-01" @default.
- W2912644765 modified "2023-09-24" @default.
- W2912644765 title "Ordinal Computability" @default.
- W2912644765 cites W1515086489 @default.
- W2912644765 cites W1575123319 @default.
- W2912644765 cites W2001043560 @default.
- W2912644765 cites W2064937274 @default.
- W2912644765 cites W2134322756 @default.
- W2912644765 cites W2571490773 @default.
- W2912644765 doi "https://doi.org/10.1007/978-3-642-03073-4_29" @default.
- W2912644765 hasPublicationYear "2009" @default.
- W2912644765 type Work @default.
- W2912644765 sameAs 2912644765 @default.
- W2912644765 citedByCount "28" @default.
- W2912644765 countsByYear W29126447652012 @default.
- W2912644765 countsByYear W29126447652013 @default.
- W2912644765 countsByYear W29126447652014 @default.
- W2912644765 countsByYear W29126447652015 @default.
- W2912644765 countsByYear W29126447652016 @default.
- W2912644765 countsByYear W29126447652017 @default.
- W2912644765 countsByYear W29126447652018 @default.
- W2912644765 countsByYear W29126447652019 @default.
- W2912644765 countsByYear W29126447652020 @default.
- W2912644765 countsByYear W29126447652021 @default.
- W2912644765 countsByYear W29126447652022 @default.
- W2912644765 countsByYear W29126447652023 @default.
- W2912644765 crossrefType "book-chapter" @default.
- W2912644765 hasAuthorship W2912644765A5078814566 @default.
- W2912644765 hasConcept C11413529 @default.
- W2912644765 hasConcept C118615104 @default.
- W2912644765 hasConcept C131671149 @default.
- W2912644765 hasConcept C134306372 @default.
- W2912644765 hasConcept C140479938 @default.
- W2912644765 hasConcept C152062344 @default.
- W2912644765 hasConcept C179061269 @default.
- W2912644765 hasConcept C29248071 @default.
- W2912644765 hasConcept C31402856 @default.
- W2912644765 hasConcept C33923547 @default.
- W2912644765 hasConcept C41008148 @default.
- W2912644765 hasConcept C45374587 @default.
- W2912644765 hasConcept C54271186 @default.
- W2912644765 hasConcept C80444323 @default.
- W2912644765 hasConceptScore W2912644765C11413529 @default.
- W2912644765 hasConceptScore W2912644765C118615104 @default.
- W2912644765 hasConceptScore W2912644765C131671149 @default.
- W2912644765 hasConceptScore W2912644765C134306372 @default.
- W2912644765 hasConceptScore W2912644765C140479938 @default.
- W2912644765 hasConceptScore W2912644765C152062344 @default.
- W2912644765 hasConceptScore W2912644765C179061269 @default.
- W2912644765 hasConceptScore W2912644765C29248071 @default.
- W2912644765 hasConceptScore W2912644765C31402856 @default.
- W2912644765 hasConceptScore W2912644765C33923547 @default.
- W2912644765 hasConceptScore W2912644765C41008148 @default.
- W2912644765 hasConceptScore W2912644765C45374587 @default.
- W2912644765 hasConceptScore W2912644765C54271186 @default.
- W2912644765 hasConceptScore W2912644765C80444323 @default.
- W2912644765 hasLocation W29126447651 @default.
- W2912644765 hasOpenAccess W2912644765 @default.
- W2912644765 hasPrimaryLocation W29126447651 @default.
- W2912644765 hasRelatedWork W12631801 @default.
- W2912644765 hasRelatedWork W1732971744 @default.
- W2912644765 hasRelatedWork W1761397873 @default.
- W2912644765 hasRelatedWork W2014472563 @default.
- W2912644765 hasRelatedWork W2040069378 @default.
- W2912644765 hasRelatedWork W2912644765 @default.
- W2912644765 hasRelatedWork W2950007347 @default.
- W2912644765 hasRelatedWork W4235638761 @default.
- W2912644765 hasRelatedWork W4255638962 @default.
- W2912644765 hasRelatedWork W4293150887 @default.
- W2912644765 isParatext "false" @default.
- W2912644765 isRetracted "false" @default.
- W2912644765 magId "2912644765" @default.
- W2912644765 workType "book-chapter" @default.