Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-25T11:44:15.392Z Has data issue: false hasContentIssue false
  • English
  • Français

Forking in VC-minimal theories

Published online by Cambridge University Press:  12 March 2014

Sarah Cotter  and
Sergei Starchenko
Sarah Cotter
Affiliation:
University of Notre Dame, Department of Mathematics, Notre Dame, IN 46556, USA, E-mail: scotter1@nd.edu
Sergei Starchenko
Affiliation:
University of Notre Dame, Department of Mathematics, Notre Dame, IN 46556, USA, E-mail: starchenko.1@nd.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We consider VC-minimal theories admitting unpackable generating families, and show that in such theories, forking of formulae over a model M is equivalent to containment in global types definable over M, generalizing a result of Dolich on o-minimal theories in [4].

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 77 , Issue 4 , December 2012 , pp. 1257 - 1271
Copyright
Copyright © Association for Symbolic Logic 2012

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

REFERENCES

[1]Adler, H., Theories controlled by formulas of Vapnik–Chervonenkis codimension 1, preprint, 2008.Google Scholar
[2]Adler, H., Introduction to theories without the independence property, Archive for Mathematical Logic, to appear.Google Scholar
[3]Chernikov, A. and Kaplan, I., Forking and dividing in NTP2 theories, this Journal, vol. 77 (2012), no. 1, pp. 1–20.Google Scholar
[4]Dolich, A., Forking and independence in o-minimal theories, this Journal, vol. 69 (2004), no. 1, pp. 215–240.Google Scholar
[5]Dolich, A., Goodrick, J., and Lippel, D., dp-minimality: basic facts and examples, Notre Dame Journal of Formal Logic, vol. 52 (2011), no. 3, pp. 267–288.CrossRefGoogle Scholar
[6]Flenner, J. and Guingona, V., Canonical forests in directed families, preprint, 2011.Google Scholar
[7]Holly, J., Canonical forms for definable subsets of algebraically closed and real closed valued fields, this Journal, vol. 40 (1995), no. 3, pp. 843–860.Google Scholar
[8]Hrushovski, E. and Loeser, F., Non-archimedean tame topology and stably dominated types, preprint, 2011.Google Scholar
[9]Hrushovski, E. and Pillay, A., On NIP and invariant measures, Journal of the European Mathematical Society, vol. 13 (2011), no. 4, pp. 1005–1061.Google Scholar
[10]Kaplan, I., Onshuus, A., and Usvyatsov, A., Additivity of the dp-rank, Transactions of the American Mathematical Society, to appear.Google Scholar