Abstract
Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for . Write for the collection of subsets such that ≡ . We prove that if the VC-dimension of is finite then is externally definable.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Baisalov Y., Poizat B.: Paires de structures o-minimales. J. Symb. Log. 63(2), 570–578 (1998)
Casanovas E.: Simple Theories and Hyperimaginaries. Lecture Notes in Logic, vol. 39. Cambridge University Press, Cambridge (2011)
Chernikov, A., Simon, P.: Externally definable sets and dependent pairs. Isr. J. Math. 194(1), 409–425 (2013). arXiv:1007.4468
Chernikov, A., Pillay, A., Simon, P.: External definability and groups in NIP theories. (2014). arXiv:1307.4794
Pillay A.: On externally definable sets and a theorem of Shelah. In: Festchrift, F. (ed.) Studies in Logic, College Publications, London (2007)
Poizat B.: Cours de théorie des modèles. Bruno Poizat, Lyon (1985)
Shelah, S.: Dependent first order theories, continued. Isr. J. Math. 173(1), 1–60 (2009). arXiv:math/0504197
Simon, Pierre.: A guide to NIP theories. (2014). arXiv:1202.2650
Tent K., Ziegler M.: A Course in Model Theory. Lecture Notes in Logic vol. 40. Cambridge University Press, Cambridge (2012)
Ziegler, M.: Chernikov and Simon’s Proof of Shelah’s Theorem. Unpublished notes available on the author’s homepage (2010)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zambella, D. Elementary classes of finite VC-dimension. Arch. Math. Logic 54, 511–520 (2015). https://doi.org/10.1007/s00153-015-0424-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-015-0424-0