DEFINABILITY OF SATISFACTION IN OUTER MODELS

DOI10.1017/JSL.2016.33zbMath1403.03098OpenAlexW4232662558MaRDI QIDQ2976379

Radek Honzík, Sy-David Friedman

Publication date: 28 April 2017

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

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

zbMATH Keywords

forcingadmissible setsouter models

Mathematics Subject Classification ID

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

Related Items (2)

Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ UNIVERSISM AND EXTENSIONS OF V

Cites Work

• Set theory. An introduction to independence proofs

This page was built for publication: DEFINABILITY OF SATISFACTION IN OUTER MODELS