A strengthening of Jensen's □ principles

DOI10.2307/2273186zbMath0457.03049OpenAlexW2107195257MaRDI QIDQ3905271

Ami Litman, Aaron Beller

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)

Related Items (8)

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

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