Supercomplete extenders and type 1 mice. I

DOI10.1016/j.apal.2003.12.002zbMath1059.03053OpenAlexW2083849355MaRDI QIDQ1877090

R. B. Jensen, Feng Qi

Publication date: 16 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.12.002

zbMATH Keywords

Core modelsExtendersInner modelIteration treesLarge cardinalsMicePremiceSupercompleteness

Mathematics Subject Classification ID

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

Related Items

Determinacy in strong cardinal models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item