Abstract
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable Löwenheim–Skolem–Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber’s quasiminimal pregeometry classes and quasiminimal AECs: any quasiminimal pregeometry class induces a quasiminimal AEC (this was known), and for any quasiminimal AEC there is a natural functorial expansion that induces a quasiminimal pregeometry class. We show in particular that the exchange axiom is redundant in Zilber’s definition of a quasiminimal pregeometry class.
Similar content being viewed by others
References
Baldwin, J.T.: Categoricity, University Lecture Series, vol. 50. American Mathematical Society, Providence (2009)
Bays, M., Hart, B., Hyttinen, T., Kesälä, M., Kirby, J.: Quasiminimal structures and excellence. Bull. Lond. Math. Soc. 46(1), 155–163 (2014)
Baldwin, J.T., Shelah, S.: Examples of non-locality. J. Symb. Logic 73, 765–782 (2008)
Crapo, H.H.: Rota, Gian-Carlo: On the Foundations of Combinatorial Geometry: Combinatorial Geometries, preliminary edn. MIT Press, Cambridge (1970)
Edelman, P.H., Jamison, R.E.: The theory of convex geometries. Geom. Dedic. 19, 247–270 (1985)
Grossberg, R.: A Course in Model Theory I (A book in preparation)
Haykazyan, L.: Categoricity in quasiminimal pregeometry classes. J. Symb. Logic 81(1), 56–64 (2016)
Hyttinen, T., Kangas, K.: Quasiminimal structures, groups and Zariski-like geometries. Ann. Pure Appl. Logic 167(6), 457–505 (2016)
Itai, M., Tsuboi, A., Wakai, K.: Construction of saturated quasi-minimal structure. J. Symb. Logic 69(1), 9–22 (2004)
Kirby, J.: On quasiminimal excellent classes. J. Symb. Logic 75(2), 551–564 (2010)
Pillay, A.: Geometric Stability Theory, Oxford Logic Guides. Clarendon Press, Oxford (1996)
Pillay, A., Tanović, P.: Generic stability, regularity, and quasi-minimality. In: Hart, B., Kucera, T.G., Pillay, A., Scott, P.J., Seely, R.A.G. (eds.) Models, Logics, and Higher-Dimensional Categories, pp. 189–211. American Mathematical Society, Providence (2011)
Shelah, S.: Classification of non elementary classes II. Abstract elementary classes, classification theory (Chicago, IL, 1985). Lecture Notes in Mathematics, vol. 1292, pp. 419–497. Springer, New York (1987)
Shelah, S.: Classification Theory for Abstract Elementary Classes, Studies in Logic: Mathematical Logic and Foundations, vol. 18. College Publications, New York (2009)
Vasey, S.: Infinitary stability theory. Arch. Math. Logic 55, 567–592 (2016)
Vasey, S.: Shelah’s eventual categoricity conjecture in universal classes: part I. Ann. Pure Appl. Logic 168(9), 1609–1642 (2017)
Zilber, B.: Elements of geometric stability theory. https://people.maths.ox.ac.uk/zilber/est.pdf
Zilber, B.: A Categoricity Theorem for Quasi-Minimal Excellent Classes, Logic and its Applications. In: Blass, A., Zhang, Y. (eds.) Contemporary Mathematics, pp. 297–306. American Mathematical Society, Providence (2005)
Zilber, B.: Pseudo-exponentiation on algebraically closed fields of characteristic zero. Ann. Pure Appl. Logic 132, 67–95 (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Vasey, S. Quasiminimal abstract elementary classes. Arch. Math. Logic 57, 299–315 (2018). https://doi.org/10.1007/s00153-017-0570-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-017-0570-7
Keywords
- Abstract elementary class
- Quasiminimal pregeometry class
- Pregeometry
- Closure space
- Exchange axiom
- Homogeneity