Abstract
We consider cardinal invariants related to Shelah’s model-theoretic tree properties and the relations that obtain between them. From strong colorings, we construct theories T with κcdt(T) > κsct(T) + κinp(T). We show that these invariants have distinct structural consequences, by investigating their effect on the decay of saturation in ultrapowers. This answers some questions of Shelah.
Similar content being viewed by others
References
A. Chernikov, Theories without the tree property of the second kind, Annals of Pure and Applied Logic 165 (2014), 695–723.
C. C. Chang and H. J. Keisler, Model Theory, Studies in Logic and the Foundations of Mathematic, Vol. 73. North-Holland, Amsterdam, 1990.
A. Chernikov and N. Ramsey, On model-theoretic tree properties, Journal of Mathematical Logic 16 (2016), Article no. 1650009.
F. Galvin, Chain conditions and products, Fundamenta Mathematica 108 (1980), 33–48.
W. Hodges, Model Theory, Encyclopedia of Mathematics and its Applications, Vol. 42. Cambridge University Press Cambridge, 1993.
B. Kim, H.-J. Kim and L. Scow, Tree indiscernibilities, revisited, Archive for Mathematical Logic 53 (2014), 211–232.
A. S. Kechris, V. G. Pestov and S. Todorcevic, Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups, Geometric and Functional Analysis 15 (2005), 106–189.
J. Kennedy and S. Shelah, On regular reduced products, Journal of Symbolic Logic 67 (2002), 1169–1177.
K. Kunen, Set Theory. An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, Vol. 102. North-Holland, Amsterdam, 1980.
A. Medvedev, QACFA, https://arxiv.org/abs/1508.06007.
M. Malliaris and S. Shelah, Constructing regular ultrafilters from a model-theoretic point of view, Transactions of the American Mathematical Society 367 (2015), 8139–8173.
S. Shelah, Classification Theory and the Number of Non-Isomorphic Models, Studies in Logic and the Foundations of Mathematics, Vol. 92, North-Holland, Amsterdam, 1990.
S. Shelah, Cardinal Arithmetic, Oxford Logic Guides, Vol. 29, The Clarendon press, Oxford University Press, New York, 1994.
S. Shelah, Colouring and non-productivity of ℵ2-cc, Annals of Pure and Applied Logic 84 (1997), 153–174.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ramsey, N. Invariants related to the tree property. Isr. J. Math. 240, 275–314 (2020). https://doi.org/10.1007/s11856-020-2066-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-020-2066-0