On the extender algebra being complete
From MaRDI portal
Publication:3418083
DOI10.1002/MALQ.200610011zbMath1105.03052OpenAlexW2060156489MaRDI QIDQ3418083
Publication date: 2 February 2007
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200610011
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Cites Work
This page was built for publication: On the extender algebra being complete