Local character of Kim-independence
HTML articles powered by AMS MathViewer
- by Itay Kaplan, Nicholas Ramsey and Saharon Shelah
- Proc. Amer. Math. Soc. 147 (2019), 1719-1732
- DOI: https://doi.org/10.1090/proc/14305
- Published electronically: January 8, 2019
- PDF | Request permission
Abstract:
We show that $\mathrm {NSOP}_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is $\mathrm {NSOP}_{1}$, $M\models T$, and $p$ is a complete type over $M$, then the collection of elementary substructures of size $\left |T\right |$ over which $p$ does not Kim-fork is a club of $\left [M\right ]^{\left |T\right |}$ and that this characterizes $\mathrm {NSOP}_{1}$.
We also present a new phenomenon we call dual local-character for Kim-independence in $\mathrm {NSOP}_{1}$ theories.
References
- Jon Barwise, Matt Kaufmann, and Michael Makkai, Stationary logic, Ann. Math. Logic 13 (1978), no. 2, 171–224. MR 486629, DOI 10.1016/0003-4843(78)90003-7
- Artem Chernikov and Nicholas Ramsey, On model-theoretic tree properties, J. Math. Log. 16 (2016), no. 2, 1650009, 41. MR 3580894, DOI 10.1142/S0219061316500094
- Mirna D amonja and Saharon Shelah, On $\vartriangleleft ^*$-maximality, Ann. Pure Appl. Logic 125 (2004), no. 1-3, 119–158. MR 2033421, DOI 10.1016/j.apal.2003.11.001
- Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
- Itay Kaplan and Nicholas Ramsey, On Kim-independence, J. Eur. Math. Soc. (JEMS), 2017. accepted, arXiv:1702.03894.
- Itay Kaplan, Nicholas Ramsey, and Saharon Shelah, Local character of Kim-independence, 2017. Extended version, arXiv:1707.02902.
- David W. Kueker, Löwenheim-Skolem and interpolation theorems in infinitary languages, Bull. Amer. Math. Soc. 78 (1972), 211–215. MR 290942, DOI 10.1090/S0002-9904-1972-12921-5
- Alan H. Mekler and Saharon Shelah, Stationary logic and its friends. II, Notre Dame J. Formal Logic 27 (1986), no. 1, 39–50. MR 819644, DOI 10.1305/ndjfl/1093636521
- Saharon Shelah, Generalized quantifiers and compact logic, Trans. Amer. Math. Soc. 204 (1975), 342–364. MR 376334, DOI 10.1090/S0002-9947-1975-0376334-6
- S. Shelah, Classification theory and the number of nonisomorphic models, 2nd ed., Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam, 1990. MR 1083551
Bibliographic Information
- Itay Kaplan
- Affiliation: Einstein Institute of Mathematics, Hebrew University of Jerusalem, Edmond J. Safra Campus Givat Ram, 91904 Jerusalem, Israel
- MR Author ID: 886730
- Nicholas Ramsey
- Affiliation: Department of Mathematics, University of California, Berkeley, 970 Evans Hall 3840, Berkeley, California 94720
- Address at time of publication: Department of Mathematics, University of California, Los Angeles, Math Sciences Building 6363, Los Angeles, California 90095
- Saharon Shelah
- Affiliation: Einstein Institute of Mathematics, Hebrew University of Jerusalem, Edmond J. Safra Campus Givat Ram, 91904 Jerusalem, Israel
- MR Author ID: 160185
- ORCID: 0000-0003-0462-3152
- Received by editor(s): July 14, 2017
- Received by editor(s) in revised form: February 12, 2018, and June 19, 2018
- Published electronically: January 8, 2019
- Additional Notes: The first author would like to thank the Israel Science Foundation for partial support of this research (Grant no. 1533/14).
The third author was partially supported by European Research Council grant 338821, number 1118. - Communicated by: Heike Mildenberger
- © Copyright 2019 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 147 (2019), 1719-1732
- MSC (2010): Primary 03C45, 03C55, 03C80
- DOI: https://doi.org/10.1090/proc/14305
- MathSciNet review: 3910436