Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-10T09:33:55.119Z Has data issue: false hasContentIssue false
  • English
  • Français

Existentially closed structures

Published online by Cambridge University Press:  12 March 2014

H. Simmons
H. Simmons*
Affiliation:
University of Aberdeen, Aberdeen, Scotland
Get access Rights & Permissions [Opens in a new window]

Extract

One of the major problems of model theory is the spectrum problem, i.e. the development of structure theorems for the spectrum of models of a given theory. I hope that this paper will make a (small) contribution to the solution of this problem.

Broadly speaking, in this paper we take a fixed (but arbitrary) theory T and consider a particular class ℰ of models of T. The structures in ℰ (which are known as existentially closed structures) are connected with the model complete extensions of T. These structures have already appeared several times in the literature.

In §1 we survey the notation and terminology that we use, as well as the well known facts that we require. We also consider several concepts which are not new here but which may not be well known.

In §2 we define, and give the basic results concerning existentially closed structures. For most theories, T, the class ℰ is not elementary and hence is not directly amenable to a model theoretic study. Because of this we consider a smaller class of structures—the uniformly existentially closed structures. These are discussed in §3.

In §4 we look at model complete theories via existentially closed structures. This section is essentially a refinement of parts of [6].

In §5 we look at model companions of theories via existentially closed structures.

Finally, in §6 we make some remarks on the relevance of existentially closed structures to the spectrum problem.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 37 , Issue 2 , June 1972 , pp. 293 - 310
Copyright
Copyright © Association for Symbolic Logic 1972

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]Barwise, J. and Robinson, A., Completing theories by forcing, Annals of Mathematical Logic, vol. 2 (1970), pp. 119–142.CrossRefGoogle Scholar
[2]Bell, J. and Slomson, A., Models and ultraproducts, North-Holland, Amsterdam, 1969.Google Scholar
[3]Chang, C. C., Omitting types of prenex formulas, this Journal, vol. 32 (1967), pp. 61–74.Google Scholar
[4]Eklof, P. and Sabbagh, G., Model completions and modules, Annals of Mathematical Logic, vol. 2 (1970), pp. 251–295.CrossRefGoogle Scholar
[5]Fisher, E., letter to A. Macintyre.Google Scholar
[6]Lindström, P., On model completeness, Theoria, vol. 30 (1964), pp. 183–196.CrossRefGoogle Scholar
[7]Macintyre, A., On algebraically closed groups, Annals of Mathematical Logic (to appear).Google Scholar
[8]Neumann, B. H., A note on algebraically closed groups, Journal of the London Mathematical Society, vol. 27 (1952), pp. 247–249.CrossRefGoogle Scholar
[9]Neumann, B. H., The isomorphism problem for algebraically closed groups, Proceedings of the conference on decision problems in group theory (Irvine, California, 1969), North-Holland, Amsterdam, 1971.Google Scholar
[10]Neumann, B. H., Algebraically closed semigroups, Studies in pure mathematics, Academic Press, New York and London, 1971, pp. 185–194.Google Scholar
[11]Rabin, M. O., Diophantine equations and non-standard models of arithmetic, Proceedings of the International Congress on logic, methodology and philosophy of science (Stanford, 1962), pp. 151–158.Google Scholar
[12]Rabin, M. O., Non-standard models and the independence of the induction axiom, Essays on the foundations of mathematics, North-Holland, Amsterdam, 1962, pp. 287–299.Google Scholar
[13]Robinson, A., Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam, 1963.Google Scholar
[14]Robinson, A., Forcing in model theory, Symposia Mathematica, vol. 5 (1970), pp. 69–82.Google Scholar
[15]Robinson, A., Infinite forcing in model theory, Proceedings of the second Scandinavian symposium in logic (Oslo, 1970), North-Holland, Amsterdam, 1971, pp. 317–340.CrossRefGoogle Scholar
[16]Robinson, A., On the notion of algebraic closedness for noncommutative groups and fields, this Journal, vol. 36 (1971), pp. 441–444.Google Scholar
[17]Scott, W. R., Algebraically closed groups, Proceedings of the American Mathematical Society, vol. 2 (1951), pp. 118–121.CrossRefGoogle Scholar
[18]Shoenfield, J. R., Mathematical logic, Addison-Wesley, London, 1967.Google Scholar
[19]Simmons, H., The use of injective-like structures in model theory (submitted).Google Scholar
[C1]Cusin, R. and Pabion, J.-F., Structures génériques associées à une classe de theories, Comptes Rendus, vol. 272, serie A (1971), pp. 1620–1623.Google Scholar
[C2]Cusin, R., Structures préhomogènes et structures générigues, Comptes Rendus, vol. 273, serie A (1971), pp. 137–140.Google Scholar
[C3]Cusin, R., Recherche du forcing-compagnon et du modèle-compagnon d'une theoric liée a l'existence de modèles ℵα-universels, Comptes Rendus, serie A, vol. 273 (1971), pp. 956–959.Google Scholar