Keywords
- Generic Structure
- Division Ring
- Complete Structure
- Universal Theory
- Stone Space
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
Barwise, J., and Robinson, A. “Completing Theories by Forcing”. Annals of Mathematical Logic, vol. 2 (1970), pp. 119–142.
Bell, J.L., and Slomson, A.B., Models and Ultraproducts. Amsterdam, North-Holland Publishing Company, 1969.
Chang, C.C., and Keisler, H. J. Model Theory. Amsterdam, North-Holland Publishing Company, 1973.
Cusin, R. “The number of countable, generic models for finite forcing”. Fundamenta Mathematica, vol. 84 (1974), pp. 265–270.
Fisher, E., and Robinson, A. “Inductive Theories and Their Forcing Companions”, Israel Journal of Mathematics, vol. 12 (1972), pp. 95–107.
Goldrei, D., Macintyre, A., and Simmons, H. “The Forcing Companions of Number Theories”. Israel Journal of Mathematics, vol. 14 (1973), pp. 317–337.
Hirschfeld, J. Existentially Complete and Generic Structures in Arithmetic. Dissertation, Yale University, 1972.
Hirschfeld, J., and Wheeler, W., Forcing, Arithmetic, and Division Rings. To appear.
Lipshitz, L., and Saracino, D. “The model-companion of the theory of commutative rings without nilpotent elements”. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387.
Macintyre, A. “Omitting Quantifier-Free Types in Generic Structures”. Journal of Symbolic Logic, vol. 37 (1972), pp. 512–520.
Macintyre, A. “On Algebraically Closed Division Rings”. Preprint.
Pouzet, M. “Extensions completes d'une theorie forcing complete”. Israel Journal of Mathematics, vol. 16 (1973), pp. 212–215.
Robinson, A. “Forcing in Model Theory”. Symposia Mathematica, vol. 5 (1970), pp. 64–82.
Robinson, A., “Infinite Forcing in Model Theory”. Proceedings of the Second Scandinavian Logic Symposium, Oslo, 1970. Amsterdam, North-Holland Publishing Co., 1971.
Robinson, A. “Forcing in Model Theory”. Actes des Congres International des Mathematicians, Nice, 1970.
Saracino, D. “A counterexample in the theory of modelcompanions”. To appear.
Sierpinski, Waclaw, General Topology (trans. by C. Cecilia Krieger). Toronto, University of Toronto Press, 1952.
Simmons, H. “Existentially Closed Structures”. Journal of Symbolic Logic, vol. 37 (1972), pp. 293–310.
-“Le nombre de structures générique d'une théorie”. C. R. Acad. Sci. Paris, Ser A., vol. 277 (1973), pp. 487–489.
Vaught, R.L. “Denumerable models of complete theories”. Infinitistic Methods. New York, Pergamon Press, 1961.
Wheeler, W. Algebraically Closed Division Rings, Forcing, and the Analytical Hierarchy. Dissertation, Yale University, 1972.
Schmerl, J. “The Number of Equivalence Classes of Existentially Complete Structures”. This volume.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Fisher, E., Simmons, H., Wheeler, W. (1975). Elementary equivalence classes of generic structures and existentially complete structures. In: Saracino, D.H., Weispfenning, V.B. (eds) Model Theory and Algebra. Lecture Notes in Mathematics, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080978
Download citation
DOI: https://doi.org/10.1007/BFb0080978
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07538-7
Online ISBN: 978-3-540-38057-3
eBook Packages: Springer Book Archive
