The following pages link to New Computational Paradigms (Q5717043):
Displaying 5 items.
- Register computations on ordinals (Q944224) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- Minimality considerations for ordinal computers modeling constructibility (Q2482462) (← links)
- Computability in structures representing a Scott set (Q5945007) (← links)