The Ramified Analytical Hierarchy using Extended Logics
From MaRDI portal
Publication:6305305
DOI10.1017/BSL.2018.69zbMath1522.03232arXiv1808.03814MaRDI QIDQ6305305
Publication date: 11 August 2018
Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60) Other notions of set-theoretic definability (03E47)
This page was built for publication: The Ramified Analytical Hierarchy using Extended Logics