Abstract
In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablity and show that this lies strictly between VC-minimality and dp-minimality. To do this we prove a general result about set systems with independence dimension ≤ 1. Next, we define the notion of weak VC-minimality, show it lies strictly between VC-minimality and dependence, and show that all unstable weakly VC-minimal theories interpret an infinite linear order. Finally, we define the notion full VC-minimality, show that this lies strictly between weak o-minimality and VC-minimality, and show that theories that are fully VC-minimal have low VC-density.
Similar content being viewed by others
References
Adler, H.: Theories controlled by formulas of Vapnik–Chervonenkis codimension 1. preprint, July (2008)
Aschenbrenner, M., Dolich, A., Haskell, D., MacPherson, H.D., Starchenko, S.: Vapnik–Chervonenkis density in some theories without the independence property, I. preprint, September (2011)
Dolich A., Goodrick J., Lippel D.: Dp-minimality: basic facts and examples. Notre Dame J. Formal Log. 52(3), 267–288 (2011)
Dudley R.M., Wenocur R.S.: Some special Vapnik–Chervonenkis classes. Discret. Math. 33(3), 313–318 (1981)
Flenner, J., Guingona, V.: On convexly orderable groups and valued fields. preprint, October (2012)
Guingona V.: On uniform definability of types over finite sets. J. Symb. Log. 77(1), 499–514 (2012)
Kaplan, I., Onshuus, A., Usvyatsov, A.: Additivity of the dp-rank. Trans. Am. Math. Soc. (to appear)
Hrushovski E.: Kueker’s conjecture for stable theories. J. Symb. Log. 54(1), 207–220 (1989)
Shelah S.: Classification Theory and the Number of Non-isomorphic Models. North-Holland, Amsterdam (1978)
Author information
Authors and Affiliations
Corresponding author
Additional information
Vincent Guingona and Michael C. Laskowski were partially supported by Laskowski’s NSF Grants DMS-0600217 and 0901336.
Rights and permissions
About this article
Cite this article
Guingona, V., Laskowski, M.C. On VC-minimal theories and variants. Arch. Math. Logic 52, 743–758 (2013). https://doi.org/10.1007/s00153-013-0341-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-013-0341-z