Journal of Symbolic Logic 52 (3):651-664 (1987)
A model of ZFC is constructed in which the distributivity cardinal h is 2 ℵ 0 = ℵ 2 , and in which there are no ω 2 -towers in [ω] ω . As an immediate corollary, it follows that any base-matrix tree in this model has no cofinal branches. The model is constructed via a form of iterated Mathias forcing, in which a mixture of finite and countable supports is used
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Aronszajn Trees and the Independence of the Transfer Property.William Mitchell - 1972 - Annals of Mathematical Logic 5 (1):21-46.
Citations of this work BETA
The Combinatorics of Splittability.Boaz Tsaban - 2004 - Annals of Pure and Applied Logic 129 (1-3):107-130.
Similar books and articles
Base Rates and Randomness.Ranald R. Macdonald - 1997 - Behavioral and Brain Sciences 20 (4):778-778.
Tree Models and (Labeled) Categorial Grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
On the Consistency of the Definable Tree Property on ℵ.Amir Leshem - 2000 - Journal of Symbolic Logic 65 (3):1204 - 1214.
Testing for Treeness: Lateral Gene Transfer, Phylogenetic Inference, and Model Selection.Joel D. Velasco & Elliott Sober - 2010 - Biology and Philosophy 25 (4):675-687.
An Smax Variation for One Souslin Tree.Paul Larson - 1999 - Journal of Symbolic Logic 64 (1):81 - 98.
A Special Class of Almost Disjoint Families.Thomas E. Leathrum - 1995 - Journal of Symbolic Logic 60 (3):879-891.
Counterexamples to the Unique and Cofinal Branches Hypotheses.Itay Neeman & John Steel - 2006 - Journal of Symbolic Logic 71 (3):977 - 988.
Added to index2009-01-28
Total downloads8 ( #487,129 of 2,158,312 )
Recent downloads (6 months)1 ( #355,511 of 2,158,312 )
How can I increase my downloads?