Hostname: page-component-7c8c6479df-27gpq Total loading time: 0 Render date: 2024-03-27T17:08:51.800Z Has data issue: false hasContentIssue false

Model completeness of the new strongly minimal sets

Published online by Cambridge University Press:  12 March 2014

Kitty L. Holland*
Affiliation:
Department of Mathematical Sciences, Northern Illinois University, Dekalb, IL 60115, USA E-mail: kholland@math.niu.edu

Extract

Boris Zil'ber conjectured that all strongly minimal theories are bi-interpretable with one of the “classical” sorts: theories of algebraically closed fields, theories of infinite vector spaces over division rings and theories with trivial algebraic closure relations. Hrushovski produced the first two classes of counterexample to this conjecture in [10] and [9]. Subsequently, in [8], the author gave an explicit axiomatization of a special case of [9] from which model completeness could quickly be deduced. It was unclear at that writing whether the model completeness result was true in the general case or was due to peculiarities of the case under consideration. The main new result of this paper is model completeness, not only of the general case in [9], but also of the theories described in [10]. Specifically, we present a general framework in which producing a strongly minimal theory is reduced to finding an elementary class of theories satisfying certain requirements (see below). We present the theories of [10] and [9] as special instances of such theories, giving an explicit axiomatization from which model completeness immediately follows in each case.

We hope by presenting these constructions in parallel, using common language and extracting common elements, to make easier both the exploitation of the ideas involved in their making and their comparison with other recent constructions of a similar flavor. For a selection of such constructions, see [6], [1], [2] and [3]. For more general background, see [2], [4] and [11].

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1999

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] Baldwin, J. T., An almost strongly minimal non-des Arguesian projective plane, Transactions of the American Mathematical Society, vol. 342, no. 2, pp. 695711.Google Scholar
[2] Baldwin, J. T. and Shi, N., Stable generic structures, Annals of Pure and Applied Logic, vol. 79 (1996), no. 1, pp. 135.Google Scholar
[3] Baudisch, Andreas, A new aleph-one-categorical pure group, preprint.Google Scholar
[4] Buechler, S., Geometric stability theory, Proceedings of Logic Colloquium 85 (Paris), 1987.Google Scholar
[5] Goode, John B., Hrushovski's geometries, 7th Easter Conference on Model Theory (Dahn, and Wolter, , editors), Wendisch-Rietz, 1989, pp. 106118.Google Scholar
[6] Herwig, Bernhard, Weight ω in stable theories with few types, this Journal, vol. 60 (1995), no. 2, pp. 353373.Google Scholar
[7] Holland, Kitty, An introduction to the fusion of strongly minimal sets: The geometry of fusions, Archive for Mathematical Logic, vol. 34 (1995), no. 6, pp. 395413.Google Scholar
[8] Holland, Kitty, Strongly minimal fusions of vector spaces, Annals of Pure and Applied Logic, vol. 83 (1997), no. 1, pp. 122.Google Scholar
[9] Hrushovski, Ehud, Strongly minimal expansions of algebraically closed fields, Israel Journal of Mathematics, vol. 79 (1992), no. 2, pp. 129151.Google Scholar
[10] Hrushovski, Ehud, A new strongly minimal set, Annals of Pure and Applied Logic, vol. 62 (1993), pp. 147166.Google Scholar
[11] Kueker, D.W. and Laskowski, M.C., On generic structures, Notre Dame Journal of Formal Logic, vol. 33 (1992), no. 2, p. 175.Google Scholar