A strengthening of Jensen's □ principles

DOI10.2307/2273186zbMATH Open0457.03049OpenAlexW2107195257MaRDI QIDQ3905271FDOQ3905271

Authors: Aaron Beller, Ami Litman 

Publication date: 1980

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273186

zbMATH Keywords

Silver machinesJensen's principle

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cited In (8)

• Categoricity results for \(L_{\infty \kappa}\)-free algebras
• Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines
• In memoriam: James Earl Baumgartner (1943--2011)
• Almost disjoint Abelian groups
• The primal framework. II: Smoothness
• Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\)
• On the size of closed unbounded sets
• Square below a non-weakly compact cardinal

This page was built for publication: A strengthening of Jensen's □ principles

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