Skip to main content

Elementary equivalence classes of generic structures and existentially complete structures

Contributed Papers

Part of the Lecture Notes in Mathematics book series (LNM,volume 498)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. Barwise, J., and Robinson, A. “Completing Theories by Forcing”. Annals of Mathematical Logic, vol. 2 (1970), pp. 119–142.

    CrossRef  MathSciNet  MATH  Google Scholar 

  2. Bell, J.L., and Slomson, A.B., Models and Ultraproducts. Amsterdam, North-Holland Publishing Company, 1969.

    MATH  Google Scholar 

  3. Chang, C.C., and Keisler, H. J. Model Theory. Amsterdam, North-Holland Publishing Company, 1973.

    MATH  Google Scholar 

  4. Cusin, R. “The number of countable, generic models for finite forcing”. Fundamenta Mathematica, vol. 84 (1974), pp. 265–270.

    MathSciNet  MATH  Google Scholar 

  5. Fisher, E., and Robinson, A. “Inductive Theories and Their Forcing Companions”, Israel Journal of Mathematics, vol. 12 (1972), pp. 95–107.

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. Goldrei, D., Macintyre, A., and Simmons, H. “The Forcing Companions of Number Theories”. Israel Journal of Mathematics, vol. 14 (1973), pp. 317–337.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Hirschfeld, J. Existentially Complete and Generic Structures in Arithmetic. Dissertation, Yale University, 1972.

    Google Scholar 

  8. Hirschfeld, J., and Wheeler, W., Forcing, Arithmetic, and Division Rings. To appear.

    Google Scholar 

  9. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  10. Macintyre, A. “Omitting Quantifier-Free Types in Generic Structures”. Journal of Symbolic Logic, vol. 37 (1972), pp. 512–520.

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. Macintyre, A. “On Algebraically Closed Division Rings”. Preprint.

    Google Scholar 

  12. Pouzet, M. “Extensions completes d'une theorie forcing complete”. Israel Journal of Mathematics, vol. 16 (1973), pp. 212–215.

    CrossRef  MathSciNet  MATH  Google Scholar 

  13. Robinson, A. “Forcing in Model Theory”. Symposia Mathematica, vol. 5 (1970), pp. 64–82.

    Google Scholar 

  14. Robinson, A., “Infinite Forcing in Model Theory”. Proceedings of the Second Scandinavian Logic Symposium, Oslo, 1970. Amsterdam, North-Holland Publishing Co., 1971.

    CrossRef  MATH  Google Scholar 

  15. Robinson, A. “Forcing in Model Theory”. Actes des Congres International des Mathematicians, Nice, 1970.

    Google Scholar 

  16. Saracino, D. “A counterexample in the theory of modelcompanions”. To appear.

    Google Scholar 

  17. Sierpinski, Waclaw, General Topology (trans. by C. Cecilia Krieger). Toronto, University of Toronto Press, 1952.

    MATH  Google Scholar 

  18. Simmons, H. “Existentially Closed Structures”. Journal of Symbolic Logic, vol. 37 (1972), pp. 293–310.

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. -“Le nombre de structures générique d'une théorie”. C. R. Acad. Sci. Paris, Ser A., vol. 277 (1973), pp. 487–489.

    MathSciNet  MATH  Google Scholar 

  20. Vaught, R.L. “Denumerable models of complete theories”. Infinitistic Methods. New York, Pergamon Press, 1961.

    MATH  Google Scholar 

  21. Wheeler, W. Algebraically Closed Division Rings, Forcing, and the Analytical Hierarchy. Dissertation, Yale University, 1972.

    Google Scholar 

  22. Schmerl, J. “The Number of Equivalence Classes of Existentially Complete Structures”. This volume.

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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