All Questions
1 question
4
votes
1
answer
444
views
At what level of the analytic hierarchy do Cohen reals lie?
In his doctoral thesis titled "Three models of ordinal computability", Benjamin Seyfferth proved the following theorems:
i) A set $\mathtt A$ of reals is Ordinal Turing Machine-enumerable if and only ...
- 236k