Carl, Merlin; Schlicht, Philipp Randomness via infinite computation and effective descriptive set theory. (English) Zbl 1522.03167 J. Symb. Log. 83, No. 2, 766-789 (2018). MSC: 03D32 03D60 03E15 PDFBibTeX XMLCite \textit{M. Carl} and \textit{P. Schlicht}, J. Symb. Log. 83, No. 2, 766--789 (2018; Zbl 1522.03167) Full Text: DOI arXiv
Carl, Merlin; Schlicht, Philipp; Welch, Philip Recognizable sets and Woodin cardinals: computation beyond the constructible universe. (English) Zbl 1453.03055 Ann. Pure Appl. Logic 169, No. 4, 312-332 (2018). MSC: 03E45 03E55 03D10 03E15 03D32 PDFBibTeX XMLCite \textit{M. Carl} et al., Ann. Pure Appl. Logic 169, No. 4, 312--332 (2018; Zbl 1453.03055) Full Text: DOI arXiv