Publication:3118395
From MaRDI portal
zbMath1283.03083MaRDI QIDQ3118395
Publication date: 2 March 2012
03E45: Inner models, including constructibility, ordinal definability, and core models
03E50: Continuum hypothesis and Martin's axiom
03E60: Determinacy principles
Related Items