A Note on Power-OTMs
Logic
2025-01-30 v4
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. When parameters are allowed, these machines are, modulo access to a global well-ordering, equivalent to the Set Register Machines defined by Robert Passmann in \cite{Passmann}, and while most of the results on the realizability of Power-OTMs are analogous to results obtained by Passmann, the settings lead to different results concerning the axiom of choice. As we will see, the computational strength of power-OTMs can, depending on the set-theoretical background, also differ from that of Set Register Machines.
Cite
@article{arxiv.2412.03440,
title = {A Note on Power-OTMs},
author = {Merlin Carl},
journal= {arXiv preprint arXiv:2412.03440},
year = {2025}
}