Ordinal Definability and Recursion Theory The Cabal Seminar Volume III
From MaRDI portal
Publication:3452878
DOI10.1017/CBO9781139519694zbMath1350.03006OpenAlexW2476953723MaRDI QIDQ3452878
No author found.
Publication date: 19 November 2015
Full work available at URL: https://doi.org/10.1017/cbo9781139519694
Proceedings of conferences of miscellaneous specific interest (00B25) Inner models, including constructibility, ordinal definability, and core models (03E45) Collected or selected works; reprintings or translations of classics (01A75) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Recursive functions and relations, subrecursive hierarchies (03D20)
Related Items (4)
Locally hyperarithmetical induction ⋮ CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY ⋮ GAMES AND REFLECTION IN ⋮ The AD+ conjecture and the continuum hypothesis
This page was built for publication: Ordinal Definability and Recursion Theory The Cabal Seminar Volume III
