ℵ1-TREES
From MaRDI portal
Publication:4180343
DOI10.1016/S0003-4843(78)80002-3zbMath0397.03035MaRDI QIDQ4180343
Publication date: 1978
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Martin's AxiomAxiom of ChoiceZermelo-Fraenkel Set TheoryContinuUm HypotesisKurepa-TreeRelative ConsistencySuslin-Tree
Related Items
Height and Width of Superatomic Boolean Algebras, Can a small forcing create Kurepa trees, The consistencies ofMA, SOCA, OCA andISA withKT(ω2), Singular σ-dense trees, TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS, Strong tree properties, Kurepa trees, and guessing models, Some consequences of MA + non wKH, SH plus CH does not imply stationary antichains., Results on the generic Kurepa hypothesis, Sacks forcing, Laver forcing, and Martin's axiom, Kurepa trees and topological non-reflection, Variations on ◊, \(C^{*}\)-algebras with and without \(\ll\)-increasing approximate units, Forcing minimal extensions of Boolean algebras