The following pages link to Parameter-free uniformisation (Q3522334):
Displayed 4 items.
- Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems (Q1004086) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← links)
- Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
- Hypermachines (Q3011123) (← links)