The Canary Tree
Canadian mathematical bulletin, Tome 36 (1993) no. 2, pp. 209-215
Voir la notice de l'article provenant de la source Cambridge University Press
A canary tree is a tree of cardinality the continuum which has no uncountable branch, but gains a branch whenever a stationary set is destroyed (without adding reals). Canary trees are important in infinitary model theory. The existence of a canary tree is independent of ZFC + GCH.
Mekler, Alan H.; Shelah, Saharon. The Canary Tree. Canadian mathematical bulletin, Tome 36 (1993) no. 2, pp. 209-215. doi: 10.4153/CMB-1993-030-6
@article{10_4153_CMB_1993_030_6,
author = {Mekler, Alan H. and Shelah, Saharon},
title = {The {Canary} {Tree}},
journal = {Canadian mathematical bulletin},
pages = {209--215},
year = {1993},
volume = {36},
number = {2},
doi = {10.4153/CMB-1993-030-6},
url = {http://geodesic.mathdoc.fr/articles/10.4153/CMB-1993-030-6/}
}
[1] 1. Baumgartner, J., Harrington, L. and Kleinberg, G., Adding a closed unbounded set, J. Symbolic Logic 41(1976), 481–482. Google Scholar
[2] 2. Hyttinen, T. and Tuuri, H., Constructing strongly equivalent nonisomorphic models for unstable theories, Ann. Pure and Appl. Logic 52(1991), 203–248. Google Scholar
[3] 3. Hyttinen, T. and J. Vàänänen, On Scott and Karp trees of uncountable models, J. Symbolic Logic 55(1990), 897–908. Google Scholar
[4] 4. Mekler, A. and J. Vàänänen, Trees and π1 -subsets of w1w1 , submitted. Google Scholar
Cité par Sources :