A strengthening of Jensen's □ principles
From MaRDI portal
Publication:3905271
DOI10.2307/2273186zbMath0457.03049MaRDI QIDQ3905271
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
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
Related Items
Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines, Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\), Almost disjoint Abelian groups, Categoricity results for \(L_{\infty \kappa}\)-free algebras, The primal framework. II: Smoothness, On the size of closed unbounded sets, Square below a non-weakly compact cardinal, In memoriam: James Earl Baumgartner (1943--2011)