Successor levels of the Jensen hierarchy

DOI10.1002/malq.200710077zbMath1155.03039OpenAlexW2096164262MaRDI QIDQ5505137

Gunter Fuchs

Publication date: 23 January 2009

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710077

zbMATH Keywords

ultrapowersextendersrudimentary closure

Mathematics Subject Classification ID

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

Related Items (2)

\(\lambda\)-structures and \(s\)-structures: translating the models ⋮ \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies

Cites Work

• \(\lambda\)-structures and \(s\)-structures: translating the models
• The fine structure of the constructible hierarchy
• Inner models and large cardinals
• Unnamed Item
• Unnamed Item

This page was built for publication: Successor levels of the Jensen hierarchy