Skip to main content

Closed models and hulls of theories

  • 198 Accesses

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

Keywords

  • Form Versus
  • Finite Subset
  • North Holland Publ
  • Injective Module
  • Pure Module

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • [B.S.] Bell, J.L. and Slomson, A.B. Models and Ultraproducts. North Holland Publ. Co. 1969.

    Google Scholar 

  • [Ba.R.] Barwise, J. and Robinson, A. Completing Theories by Forcing. Ann. Math. Logic 2 (2), 1970, 119–142

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [C] Cherlin, G.L. The Model Companion of a Class of Structures. The Journ. of Symb. Logic 27 (3), 1971, 546–556

    Google Scholar 

  • [C.K.] Chang, C.C. and Keisler, H.J. Model Theory. North Holland Publ. Co. 1973

    Google Scholar 

  • [E.S.] Eklof, P. and Sabbagh, G. Model Completions and Modules. Ann. Math. Logic 2 (3), 1971, 251–295

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [F.] Fittler, R. Some Categories of Models. Arch. math. Logik Grundlagenforsch. 15, 1972, 179–189.

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [H.] Henrard, P. Le forcing-compagnon sans forcing. C.R. Acad. Sc. Paris, 276, Serie A, 1973, 821–822

    MATH  MathSciNet  Google Scholar 

  • [K.] Kaiser, K. Über eine Verallgemeinerung der Robinsonschen Modellvervollständigung I. Z. Math. Logik Grundl. Math. 15, 1969, 37–48

    MATH  MathSciNet  Google Scholar 

  • [M.] Macintyre, A. On Algebraically Closed Groups. Ann. of Math. 96, 1972, 53–97.

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [M2] Macintyre, A. Lecture Notes on Forcing in Model Theory. Freie Universität Berlin, 1972 (mimeographed).

    Google Scholar 

  • [R1] Robinson, A. Introduction to Model Theory and the Metamathematics of Algebra. North Holland Publ. Co. 1965.

    Google Scholar 

  • [R2] Robinson, A. Infinite Forcing in Model Theory. Proc. Sec. Scand. Logic Symp. 1970 North Holland Publ. Co 1971

    Google Scholar 

  • [S1] Sabbagh, G. Aspects logiques de la pureté dans les mudules. C.R. Acad. Sc. Paris, 271, Série A, 1970, 909–912

    MATH  MathSciNet  Google Scholar 

  • [S2] Sabbagh, G. A Note on the Embedding Property, Math. Z. 121, 1971, 239–242

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [S3] Sabbagh, G. Sous-modules purs, existentiellement clos et élémentaires. C.R. Acad. Sc. Paris, 272, Série A, 1971, 1289–1292.

    MATH  MathSciNet  Google Scholar 

  • [Si1] Simmons, H. Existentially Closed Structures. The Journ. of Symb. Logic 37 (2), 1972, 293–310

    CrossRef  MATH  MathSciNet  Google Scholar 

  • [Si2] Simmons, H. A Possible Characterization of Generic-Structures. Math. Scand. 31, 1972, 257–261

    MathSciNet  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

Fittler, R. (1975). Closed models and hulls of theories. In: Müller, G.H., Oberschelp, A., Potthoff, K. (eds) ⊨ISILC Logic Conference. Lecture Notes in Mathematics, vol 499. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0079421

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07534-9

  • Online ISBN: 978-3-540-38022-1

  • eBook Packages: Springer Book Archive