A local characterization of VC-minimality
HTML articles powered by AMS MathViewer
- by Uri Andrews and Vincent Guingona PDF
- Proc. Amer. Math. Soc. 144 (2016), 2241-2256 Request permission
Abstract:
We show VC-minimality is $\Pi ^0_4$-complete. In particular, we give a local characterization of VC-minimality. We also show dp-smallness is $\Pi ^1_1$-complete.References
- Hans Adler, Theories controlled by formulas of Vapnik-Chervonenkis codimension 1 (2008). Preprint, http://www.logic.univie.ac.at/ adler/docs/vcm.pdf
- Uri Andrews, Sarah Cotter, James Freitag, and Alice Medvedev, VC-minimality: examples and observations (2014). Preprint.
- C. J. Ash and J. Knight, Computable structures and the hyperarithmetical hierarchy, Studies in Logic and the Foundations of Mathematics, vol. 144, North-Holland Publishing Co., Amsterdam, 2000. MR 1767842
- Joseph Flenner and Vincent Guingona, Canonical forests in directed families, Proc. Amer. Math. Soc. 142 (2014), no. 6, 1849–1860. MR 3182006, DOI 10.1090/S0002-9939-2014-11935-6
- Joseph Flenner and Vincent Guingona, Convexly orderable groups and valued fields, J. Symb. Log. 79 (2014), no. 1, 154–170. MR 3226016, DOI 10.1017/jsl.2013.16
- Vincent Guingona, On VC-minimal fields and dp-smallness, Arch. Math. Logic 53 (2014), no. 5-6, 503–517. MR 3237864, DOI 10.1007/s00153-014-0376-9
- Vincent Guingona and Michael C. Laskowski, On VC-minimal theories and variants, Arch. Math. Logic 52 (2013), no. 7-8, 743–758. MR 3115992, DOI 10.1007/s00153-013-0341-z
Additional Information
- Uri Andrews
- Affiliation: Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706-1388
- MR Author ID: 924690
- Email: andrews@math.wisc.edu
- Vincent Guingona
- Affiliation: Department of Mathematics, University of Notre Dame, 255 Hurley, Notre Dame, Indiana 46556
- Address at time of publication: Department of Mathematics, Ben-Gurion University of teh Negev, Be’er Sheva, Israel 8410501
- MR Author ID: 942387
- Email: guingona@math.bgu.ac.il
- Received by editor(s): July 22, 2014
- Received by editor(s) in revised form: March 21, 2015
- Published electronically: January 27, 2016
- Additional Notes: The first author’s research was partially supported by NSF grant DMS-1201338. The second author’s research was supported by NSF grant DMS-0838506. This material is based upon work supported by the NSF under grant no. 0932078000 while both authors were in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2014 semester.
- Communicated by: Mirna Džamonja
- © Copyright 2016 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 144 (2016), 2241-2256
- MSC (2010): Primary 03C45, 03C57, 03D80
- DOI: https://doi.org/10.1090/proc/12805
- MathSciNet review: 3460182