Abstract
We prove that a simple theory of SU-rank 1 is n-ample if and only if the associated theory equipped with a predicate for an independent dense subset is n-ample for n at least 2.
Similar content being viewed by others
References
Baudisch A., Pillay A.: A free pseudospace. J. Symb. Log. 65, 443–660 (2000)
Baudisch, A., Martin-Pizarro, A., Ziegler, M.: Ample hierarchy. Fund. Math. 224, 97–153 (2014)
Berenstein, A., Vassiliev, E.: Geometric structures with an independent subset. MODNET (Preprint)
Berenstein A., Vassiliev E.: On lovely pairs of geometric structures. Ann. Pure Appl. Log. 161(7), 866–878 (2010)
Evans D.: Ample dividing. J. Symb. Log. 68, 1385–1402 (2003)
Hrushovski E., Pillay A.: Weakly normal groups. Log. Colloq. 85, 233–244 (1987)
Pillay A.: The geometry of forking and groups of finite Morley rank. J. Symb. Log. 60(4), 1251–1259 (1995)
Pillay A.: A note on CM-triviality and the geometry of forking. J. Symb. Log. 65(1), 474–480 (2000)
Tent, K.: The free pseudospace is n-ample, but not (n + 1)-ample. J. Symb. Log. 79(2), 410–428 (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author would like to thank Alexander Berenstein and Amador Martin-Pizarro for some useful remarks.
Supported by a grant from Mazda Fundation and by Colfuturo-ASCUN-Embajada Francesa.
Rights and permissions
About this article
Cite this article
Carmona, J.F. Forking geometry on theories with an independent predicate. Arch. Math. Logic 54, 247–255 (2015). https://doi.org/10.1007/s00153-014-0411-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-014-0411-x
Keywords
- Geometric structures
- U-rank one theories
- n-Ample theories
- Strongly dependent theories
- Definable groups