On the extender algebra being complete

DOI10.1002/MALQ.200610011MaRDI QIDQ3418083zbMATH OpenOpenAlexFDO

Authors Richard Ketchersid, S. Zoble

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

zbMATH Keywords

extenderWoodin cardinaliteration tree

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• An outline of inner model theory

Cited in

(2)

• The long extender algebra
• Detecting completeness from Ext-vanishing

This page was built for publication: On the extender algebra being complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3418083)