Hostname: page-component-7c8c6479df-fqc5m Total loading time: 0 Render date: 2024-03-29T14:19:02.691Z Has data issue: false hasContentIssue false

NSOP$_1$-LIKE INDEPENDENCE IN AECATS

Published online by Cambridge University Press:  12 December 2022

MARK KAMSMA*
Affiliation:
SCHOOL OF MATHEMATICS UNIVERSITY OF EAST ANGLIA NORWICH, UK URL: https://markkamsma.nl
*

Abstract

The classes stable, simple, and NSOP $_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one nice independence relation. Independence in stable and simple first-order theories must come from forking and dividing (which then coincide), and for NSOP $_1$ theories it must come from Kim-dividing. We generalise this work to the framework of Abstract Elementary Categories (AECats) with the amalgamation property. These are a certain kind of accessible category generalising the category of (subsets of) models of some theory. We prove canonicity theorems for stable, simple, and NSOP $_1$ -like independence relations. The stable and simple cases have been done before in slightly different setups, but we provide them here as well so that we can recover part of the original stability hierarchy. We also provide abstract definitions for each of these independence relations as what we call isi-dividing, isi-forking, and long Kim-dividing.

Type
Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Adamek, J. and Rosický, J., Locally Presentable and Accessible Categories , Cambridge University Press, Cambridge, 1994.CrossRefGoogle Scholar
Beke, T. and Rosický, J., Abstract elementary classes and accessible categories . Annals of Pure and Applied Logic , vol. 163 (2012), no. 12, pp. 20082017.CrossRefGoogle Scholar
Ben-Yaacov, I., Positive model theory and compact abstract theories . Journal of Mathematical Logic , vol. 3 (2003), no. 1, pp. 85118.CrossRefGoogle Scholar
Ben-Yaacov, I., Simplicity in compact abstract theories . Journal of Mathematical Logic , vol. 3 (2003), no. 2, pp. 163191.CrossRefGoogle Scholar
Ben-Yaacov, I., Thickness, and a categoric view of type-space functors . Fundamenta Mathematicae , vol. 179 (2003), pp. 199224.CrossRefGoogle Scholar
Ben-Yaacov, I., Berenstein, A., Henson, C. W., and Usvyatsov, A., Model theory for metric structures , Model Theory with Applications to Algebra and Analysis , vol. 2 (Chatzidakis, Z., Macpherson, D., Pillay, A., and Wilkie, A., editors), Cambridge University Press, Cambridge, 2008.Google Scholar
Berenstein, A., Hyttinen, T., and Villaveces, A., Hilbert spaces with generic predicates . Revista Colombiana de Matemáticas , vol. 52 (2018), no. 1, pp. 107130 CrossRefGoogle Scholar
Boney, W., Grossberg, R., Kolesnikov, A., and Vasey, S., Canonical forking in AECs . Annals of Pure and Applied Logic , vol. 167 (2016), no. 7, pp. 590613.CrossRefGoogle Scholar
Buechler, S. and Lessmann, O., Simple homogeneous models . Journal of the American Mathematical Society , vol. 16 (2003), no. 1, pp. 91121.CrossRefGoogle Scholar
Chernikov, A., Kim, B., and Ramsey, N., Transitivity, lowness, and ranks in NSOP 1 theories, preprint, 2020, arXiv:2006.10486.Google Scholar
Dobrowolski, J. and Kamsma, M., Kim-independence in positive logic . Model Theory , vol. 1 (2022), no. 1, pp. 55113.CrossRefGoogle Scholar
Dobrowolski, J., Kim, B., and Ramsey, N., Independence over arbitrary sets in NSOP1 theories . Annals of Pure and Applied Logic , vol. 173 (2022), no. 2, p. 103058.CrossRefGoogle Scholar
Grossberg, R. and Mazari-Armida, M., Simple-like independence relations in abstract elementary classes . Annals of Pure and Applied Logic , vol. 172 (2021), no. 7, p. 102971.CrossRefGoogle Scholar
Haykazyan, L. and Kirby, J., Existentially closed exponential fields . Israel Journal of Mathematics , vol. 241 (2021), no. 1, pp. 89117.CrossRefGoogle Scholar
Hyttinen, T. and Kesälä, M., Independence in finitary abstract elementary classes . Annals of Pure and Applied Logic , vol. 143 (2006), no. 1, pp. 103138.CrossRefGoogle Scholar
Hyttinen, T. and Lessmann, O., Simplicity and uncountable categoricity in excellent classes . Annals of Pure and Applied Logic , vol. 139 (2006), no. 1, pp. 110137.CrossRefGoogle Scholar
Jech, T., Set Theory , third ed., Springer Monographs in Mathematics, Springer, Berlin–Heidelberg, 2003.Google Scholar
Kamsma, M., The Kim–Pillay theorem for abstract elementary categories, this Journal, vol. 85 (2020), no. 4, pp. 1717–1741.Google Scholar
Kamsma, M., Independence relations in abstract elementary categories , Ph.D. thesis, University of East Anglia, Norwich, 2021.Google Scholar
Kaplan, I. and Ramsey, N., On Kim-independence . Journal of the European Mathematical Society , vol. 22 (2020), no. 5, pp. 14231474.CrossRefGoogle Scholar
Kaplan, I. and Ramsey, N., Transitivity of Kim-independence . Advances in Mathematics , vol. 379 (2021), p. 107573.CrossRefGoogle Scholar
Kaplan, I., Ramsey, N., and Shelah, S., Local character of Kim-independence . Proceedings of the American Mathematical Society , vol. 147 (2019), no. 4, pp. 17191732.CrossRefGoogle Scholar
Kim, B., Forking in simple unstable theories . Journal of the London Mathematical Society , vol. 57 (1998), no. 2, pp. 257267.CrossRefGoogle Scholar
Kim, B., NTP 1 theories, Slides, Stability Theoretic Methods in Unstable Theories , BIRS, 2009.Google Scholar
Kim, B., Simplicity Theory , first ed., Oxford Logic Guides, vol. 53, Oxford University Press, Oxford, 2014.Google Scholar
Kim, B. and Pillay, A., Simple theories . Annals of Pure and Applied Logic , vol. 88 (1997), no. 2, pp. 149164.CrossRefGoogle Scholar
Lieberman, M., Rosický, J., and Vasey, S., Forking independence from the categorical point of view . Advances in Mathematics , vol. 346 (2019), pp. 719772.CrossRefGoogle Scholar
Pillay, A., Forking in the category of existentially closed structures . Quaderni di Matematica , vol. 6 (2000), pp. 2342.Google Scholar
Shelah, S., The lazy model-theoretician’s guide to stability . Logique et Analyse , vol. 18 (1975), nos. 71–72, pp. 241308.Google Scholar
Shelah, S., Classification Theory and the Number of Nonisomorphic Models , Second ed., North-Holland, Amsterdam, 1990.Google Scholar
Shelah, S., Classification Theory for Abstract Elementary Classes , College Publications, Rickmansworth, England, 2009.Google Scholar
Vasey, S., Building independence relations in abstract elementary classes . Annals of Pure and Applied Logic , vol. 167 (2016), no. 11, pp. 10291092.CrossRefGoogle Scholar