The following pages link to Hypermachines (Q3011123):
Displaying 7 items.
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Taming Koepke's zoo. II: Register machines (Q2067510) (← links)
- Clockability for ordinal Turing machines (Q2106588) (← links)
- Discrete Transfinite Computation (Q2906573) (← links)
- Determinacy in strong cardinal models (Q3011128) (← links)
- RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY (Q4579818) (← links)
- (Q5109524) (← links)