STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS

DOI10.1017/jsl.2014.65zbMath1373.03107OpenAlexW2080876291MaRDI QIDQ5251357

Nam Trang

Publication date: 20 May 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2014.65

zbMATH Keywords

Prikry forcingHOD\(\mathbb{P}_{\max}\) forcingdescriptive inner model theoryderived modelSolovay measure

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (6)

Determinacy from strong compactness of \(\omega_1\) ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determined admissible sets ⋮ Supercompactness can be equiconsistent with measurability ⋮ On supercompactness of \(\omega_1\)

This page was built for publication: STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS