Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-28T17:32:27.211Z Has data issue: false hasContentIssue false

Generic variations of models of T

Published online by Cambridge University Press:  12 March 2014

Andreas Baudisch*
Affiliation:
Institut Für Mathematik, Humboldt-Universität, Berlin, 10099, Germany, E-mail: baudisch@mathematik.hu-berlin.de

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
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. 19.Google Scholar
[2]Chatzidakis, Z. and Pillay, A., Generic structures and simple theories, Annals of Pure and Applied Logic, vol. 95 (1998), pp. 7192.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. 408463.CrossRefGoogle Scholar