Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-26T20:35:30.952Z Has data issue: false hasContentIssue false
  • English
  • Français

Generic variations of models of T

Published online by Cambridge University Press:  12 March 2014

Andreas Baudisch
Andreas Baudisch*
Affiliation:
Institut Für Mathematik, Humboldt-Universität, Berlin, 10099, Germany, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

Let T be a model-complete theory that eliminates the quantifier ∃∞x For T we construct a theory T+ such that any element in a model of T+ determines a model of T. We show that T+ has a model companion T1. We can iterate the construction. The produced theories are investigated.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 67 , Issue 3 , September 2002 , pp. 1025 - 1038
Copyright
Copyright © Association for Symbolic Logic 2002

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]Baudisch, A., Uncountable n-cubes in models of ℵ0-categorical theories, Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, vol. 27 (1979), pp. 1–9.Google Scholar
[2]Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic, vol. 95 (1998), pp. 71–92.CrossRefGoogle Scholar
[3]Hodges, W., Model Theory, Cambridge University Press, 1993.CrossRefGoogle Scholar
[4]Rothmaler, P., Model Theory, Gordon and Breach Science Publishers, 2000.Google Scholar
[5]Shelah, S., Classification theory and the number of non-isomorphic models, North-Holland, Amsterdam, 1990, (Second edition).Google Scholar
[6]Winkler, P., Model-completeness and Skolem Expansions, Model Theory and Algebra, A Memorial Tribute to Abraham Robinson, Lecture Notes in Mathematics, vol. 498, Springer-Verlag, Berlin-Heidelberg-New York, 1975, pp. 408–463.CrossRefGoogle Scholar