Smooth categories and global \(\square\)

DOI10.1016/S0168-0072(99)00020-2zbMath0941.03054MaRDI QIDQ1964146

Martin Zeman, R. B. Jensen

Publication date: 27 July 2000

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

zbMATH Keywords

micecondensationcore modelsquare sequencessmooth categories

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (5)

Global square sequences in extender models ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ ◇ at Mahlo cardinals ⋮ Cardinal transfer properties in extender models ⋮ Square in Core Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatorial principles in the core model for one Woodin cardinal
• The covering lemma for L[U]
• The core model
• The covering lemma for K
• Jensen's Σ* theory and the combinatorial content of V = L
• A finite family weak square principle
• The fine structure of the constructible hierarchy

This page was built for publication: Smooth categories and global \(\square\)