A good lightface Δ^1_n well-ordering of the reals does not imply the existence of boldface Δ^1_{n−1} well-orderings.
Annals of Pure and Applied Logic,
2024, 175, 6, pp.\ 1-38. DOI 10.1016/j.apal.2024.103426
(WoS Q2)
Go to publication
| Authors: Kanovei V., Lyubetsky V. |