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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
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