Pages that link to "Item:Q4487651"
From MaRDI portal
The following pages link to The Length of Infinite Time Turing Machine Computations (Q4487651):
Displayed 7 items.
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- Post's problem for ordinal register machines: an explicit approach (Q1032632) (← links)
- The computational strengths of \(\alpha\)-tape infinite time Turing machines (Q2453073) (← links)
- Bounding lemmata for non-deterministic halting times of transfinite Turing machines (Q2482464) (← links)
- Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
- Determinacy in strong cardinal models (Q3011128) (← links)