BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications)
From MaRDI portal
Publication:2837230
DOI10.4288/JAFPOS.19.0_29zbMath1274.03077OpenAlexW412949065MaRDI QIDQ2837230
Publication date: 10 July 2013
Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4288/jafpos.19.0_29
Inner models, including constructibility, ordinal definability, and core models (03E45) Generic absoluteness and forcing axioms (03E57)
Related Items (3)
Two applications of finite side conditions at \(\omega _2\) ⋮ Forcing with sequences of models of two types ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS
This page was built for publication: BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications)
