On the extender algebra being complete
From MaRDI portal
Publication:3418083
DOI10.1002/malq.200610011zbMath1105.03052MaRDI 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
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals