A Note on Power-OTMs
Abstract
We consider the computational strength of Power-OTMs, i.e., ordinal Turing machines equipped with a power set operator, and study a notion of realizability based on these machines.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2024
- DOI:
- arXiv:
- arXiv:2412.03440
- Bibcode:
- 2024arXiv241203440C
- Keywords:
-
- Mathematics - Logic