论文信息 - The Canary Tree

The Canary Tree

Abstract 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.

Saharon Shelah | Alan H. Mekler

[1] Tapani Hyttinen,et al. Constructing Strongly Equivalent Nonisomorphic Models for Unstable Theories , 1991, Ann. Pure Appl. Log..

[2] Tapani Hyttinen,et al. On Scott and Karp Trees of Uncountable Models , 1990, J. Symb. Log..

[3] Leo Harrington,et al. Adding a Closed Unbounded Set , 1976, J. Symb. Log..