The canary tree
逻辑
2016-09-06 v1
摘要
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.
引用
@article{arxiv.math/9308210,
title = {The canary tree},
author = {Alan H. Mekler and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9308210},
year = {2016}
}