DOI10.1215/00294527-2022-0012arXiv2011.04942MaRDI QIDQ6353405
Merlin Carl, Philipp Schlicht, Philip D. Welch
Publication date: 10 November 2020
Mathematics Subject Classification ID
Descriptive set theory (03E15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)