MathDB1 problem
- 0 votes0 replies1 view
The conjectured construction of a Sigma-2 machine for OTM gap starters
Let an OTM be an ordinal Turing machine, and let a gap-starting ordinal be an ordinal at which an interval of ordinals contains no OTM-clockable ordinals. The paper considers wheth…