Skip to main content

Model-completeness and skolem expansions

Contributed Papers

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

Keywords

  • Relation Symbol
  • Constant Symbol
  • Amalgamation Property
  • Elementary Extension
  • Partial Expansion

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.

References

  1. P. Bacsich, “The strong amalgamation property,” to appear.

    Google Scholar 

  2. J.T. Baldwin and A.H. Lachlan, “On strongly minimal sets,” J. Symb. Logic 36 (1971) #1, pp 79–96.

    CrossRef  MathSciNet  MATH  Google Scholar 

  3. J. Barwise and A. Robinson, “Completing theories by forcing,” Ann. Math. Logic 2 (1970), pp 119–142.

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. O.B. Belegradek and B.I. Zil'ber, “The model companion of an X 1-categorical theory,” Third All-Union Conference on Mathematical Logic, Институт Математики CO AH CCCP, Novosibirsk June 1974, p 10.

    Google Scholar 

  5. A.B. Carson, “The model completion of the theory of commutative regular rings,” J. of Algebra 27 (1973) #1, pp 136–146/

    CrossRef  MathSciNet  MATH  Google Scholar 

  6. G. Cherlin, “Algebraically closed commutative rings,” J. Symb. Logic 38 (1973) #3, pp 493–499.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. P. Eklof, “Algebraic closure operators and strong amalgamation bases,” preprint.

    Google Scholar 

  8. P. Eklof and G. Sabbagh, “Model completions and modules,” Ann. Math. Logic 2 (1971) #3, pp 251–255.

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. P. Henrard, “Classes of cotheories”, Proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark 1971; Leeds 1973.

    Google Scholar 

  10. J. Knight, “An example involving Skolem functions and elementary embeddings,” Notices Am. Math. Soc. 17 (1970) p 964.

    Google Scholar 

  11. J. Knight, “Generic expansions of structures,” J. Symb. Logic 38 (1973) #4, pp 561–570.

    CrossRef  MathSciNet  MATH  Google Scholar 

  12. J. Knight, “Some problems in model theory,” Doctoral dissertation, University of California at Berkeley 1972.

    Google Scholar 

  13. L. Lipshitz and D. Saracino, “The model companion of the theory of commutative rings without nilpotent elements,” Proc. Am. Math. Soc. 38 (1973) pp 381–387.

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. A. Macintyre, “Dense embeddings,” this volume.

    Google Scholar 

  15. T. H. Payne, “An elementary submodel never preserved by Skolem expansions,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 15 (1969) pp 435–436.

    CrossRef  MathSciNet  MATH  Google Scholar 

  16. A. Robinson, Complete Theories, North-Holland, Amserdam 1956.

    MATH  Google Scholar 

  17. A. Robinson, “Infinite forcing in model theory,” Proceedings of the Second Scandinavian Logic Symposium (J.E. Fenstad, ed), North-Holland, Amsterdam 1971; pp 317–340.

    Google Scholar 

  18. A. Robinson, Introduction to Model Theory and to the Metamathematics of Algebra, North-Holland, Amsterdam 1963.

    MATH  Google Scholar 

  19. A. Robinson, “Solution of a problem of Tarski,” Fund. Math. 47 (1959) pp 179–204.

    MathSciNet  MATH  Google Scholar 

  20. G.E. Sacks, Saturated Model Theory, W.A. Benjamin Inc., Reading, Mass. 1972.

    MATH  Google Scholar 

  21. D. Saracino, “A counterexample in the theory of model companions,” Yale U. preprint, Oct 1973; also Notices Am. Math. Soc. 21 (1974) #2, abstract 74T-E9.

    Google Scholar 

  22. D. Saracino, “Existentially complete nilpotent groups,” to appear.

    Google Scholar 

  23. D. Saracino, “Model companions for X 0-categorical theories,” Proc. Am. Math. Soc. 39 (1973) #3, pp 591–598.

    MathSciNet  MATH  Google Scholar 

  24. D. Saracino, “Wreath products and existentially complete solvable groups,” Yale U. preprint June 1973.

    Google Scholar 

  25. J.R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, Mass. 1967.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Winkler, P.M. (1975). Model-completeness and skolem expansions. 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/BFb0080988

Download citation

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

  • 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