Skip to main content

Projective model theory and coforcing

In memory of Abraham Robinson (1918–1974)

Contributed Papers

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

Keywords

  • Function Symbol
  • Saturated Model
  • Consistent Theory
  • Relation Symbol
  • Elementary Extension

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. K. J. Barwise and A. Robinson, Completing Theories by Forcing, Ann. of Math. Logic, 2, 119–143.

    Google Scholar 

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

    MATH  Google Scholar 

  3. N. Bourbaki, Eléments de Mathématiques, Algèbre, Livre II, Hermann, Paris, 1962.

    MATH  Google Scholar 

  4. C. C. Chang, On Unions of Chains of Models, Proc. of the A.M.S., 10, 120–127.

    Google Scholar 

  5. P. J. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York, 1966.

    MATH  Google Scholar 

  6. S. Feferman, Some Applications of the Notions of Forcing and Generic Sets, Fund. Math., 56, 325–346.

    Google Scholar 

  7. G. Grätzer, Universal Algebra, Van Nostrand, Princeton, 1968.

    MATH  Google Scholar 

  8. J. Loś and R. Suszko, On the Extending of Models (IV), Fund. Math., 44, 52–60.

    Google Scholar 

  9. R. Lyndon, An Interpolation Theorem in the Predicate Calculus, Pac. J. of Math., 9, 129–142.

    Google Scholar 

  10. R. Lyndon, Properties Preserved Under Homomorphism, Pac. J. of Math., 9, 143–154.

    Google Scholar 

  11. A. Robinson, Obstructions to Arithmetical Extension and the Theorem of Loś and Suszko, Proc. Roy. Acad. of Sci. of Amsterdam, sec. A. 62, 489–495.

    Google Scholar 

  12. -[12], Introduction to Model Theory and the Metamathematics of Algebra, North-Holland, Amsterdam, 1965.

    Google Scholar 

  13. A. Robinson, Forcing in Model Theory, Istituto Nazionale di Alta Matematica, Symposia Mathematica, V, 69–82.

    Google Scholar 

  14. -[14], Infinite Forcing in Model Theory, Proceedings of the Second Scandinavian Logic Symposium (J. E. Fenstad, editor), North-Holland, Amsterdam, 1971.

    CrossRef  Google Scholar 

  15. A. Robinson, Generic Categories (Mimeographed).

    Google Scholar 

  16. G. S. Sacerdote, Elementary Properties of Free Groups, Trans. of the A.M.S., 178, 127–138.

    Google Scholar 

  17. G. S. Sacerdote, Projective Model Completeness, J. of Symbolic Logic, to appear.

    Google Scholar 

  18. A. Tarski and R. L. Vaught, Arithmetical Extensions of Relational Systems, Compositio Mathematica, 13, 81–102.

    Google Scholar 

  19. H. J. Keisler, Finite Approximations of Infinitely Long Formulas in Theory of Models, (Addison, Henkin, and Tarski, editors), North-Holland, Amsterdam, 1965.

    Google Scholar 

  20. H. J. Keisler, Some Applications of Infinitely Long Formulas, J. of Symbolic Logic, 30, 339–349.

    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

Sacerdote, G.S. (1975). Projective model theory and coforcing. 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/BFb0080984

Download citation

  • DOI: https://doi.org/10.1007/BFb0080984

  • 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