Pages that link to "Item:Q5898823"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898823):
Displayed 8 items.
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Taming Koepke's zoo. II: Register machines (Q2067510) (← links)
- The lost melody theorem for infinite time Blum-Shub-Smale machines (Q2117767) (← links)
- The basic theory of infinite time register machines (Q2267751) (← links)
- The distribution of ITRM-recognizable reals (Q2453067) (← links)
- An Enhanced Theory of Infinite Time Register Machines (Q3507445) (← links)
- RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY (Q4579818) (← links)
- All melodies are lost -- recognizability for weak and strong \(\alpha \)-register machines (Q6149032) (← links)