The following pages link to Turing Computations On Ordinals (Q3370613):
Displayed 27 items.
- Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
- Register computations on ordinals (Q944224) (← links)
- Post's problem for ordinal register machines: an explicit approach (Q1032632) (← links)
- Ordinal machines and admissible recursion theory (Q1032634) (← links)
- Koepke machines and satisfiability for infinitary propositional languages (Q2011652) (← links)
- Towards computable analysis on the generalised real line (Q2011660) (← links)
- Taming Koepke's zoo. II: Register machines (Q2067510) (← links)
- Clockability for ordinal Turing machines (Q2106588) (← links)
- The basic theory of infinite time register machines (Q2267751) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- The computational power of infinite time Blum-Shub-Smale machines (Q2401544) (← links)
- The computational strengths of \(\alpha\)-tape infinite time Turing machines (Q2453073) (← links)
- Minimality considerations for ordinal computers modeling constructibility (Q2482462) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Some Transfinite Generalisations of Gödel’s Incompleteness Theorem (Q2891311) (← links)
- Discrete Transfinite Computation (Q2906573) (← links)
- Generalized Effective Reducibility (Q3188260) (← links)
- A Candidate for the Generalised Real Line (Q3188265) (← links)
- An Enhanced Theory of Infinite Time Register Machines (Q3507445) (← links)
- Ordinal Computability (Q3576060) (← links)
- Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines (Q4995609) (← links)
- Effectivity and reducibility with ordinal Turing machines (Q5037207) (← links)
- Space-bounded OTMs and REG ∞ (Q5037216) (← links)
- (Q5109524) (← links)
- On λ-Definable Functions on Ordinals (Q5326365) (← links)
- Randomness and degree theory for infinite time register machines1 (Q5740208) (← links)
- Symmetry for transfinite computability (Q6149031) (← links)