Abstract
First, we show that every coherent tree that contains a Countryman suborder is \({\mathbb {R}}\)-embeddable when restricted to a club. Then for a linear order O that can not be embedded into \(\omega \), there exists (consistently) an \({{\mathbb {R}}}\)-embeddable O-ranging coherent tree which is not Countryman. And for a linear order \(O'\) that can not be embedded into \({\mathbb {Z}}\), there exists (consistently) an \({\mathbb {R}}\)-embeddable \(O'\)-ranging coherent tree which contains no Countryman suborder. Finally, we will see that this is the best we can do.
Similar content being viewed by others
References
Moore, J.T.: A five element basis for the uncountable linear orders. Ann. Math. 163, 669–688 (2006)
Moore, J.T.: A solution to the L space problem. J. Am. Math. Soc. 19, 717–736 (2006)
Moore, J.T.: A universal Aronszajn line. Math. Res. Lett. 16(1), 121–131 (2009)
Shelah, S.: Decomposing uncountable squares to countably many chains. J. Comb. Theory Ser. A 21, 110–114 (1976)
Todorcevic, S.: Partitioning pairs of countable ordinals. Acta. Math. 159(3–4), 261–294 (1987)
Todorcevic, S.: Walks on Ordinals and their Characteristics. Progress in Mathematics. Birkhäuser Verlag, Basel (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Peng, Y. Coherent trees that are not Countryman. Arch. Math. Logic 56, 237–251 (2017). https://doi.org/10.1007/s00153-017-0530-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0530-2