Skip to main content
SpringerLink
Log in

Inductive theories and their forcing companions

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

A decomposition theorem for ideals of a distributive lattice is related to a classification of the generic models of an arbitrary inductive theory, generalizing, for example, the classification of algebraically closed fields according to their characteristics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. Barwise andA. Robinson,Completing theories by forcing, Ann. of Math. Logic2 (1970), 119–142.

    Article  MATH  MathSciNet  Google Scholar 

  2. G. Cherlin,A new approach to the theory of infinitely generic structures, Doctoral dissertation, Yale University, 1971.

  3. P. Eklof andG. Sabbagh,Model-completions and modules, Ann. of Math. Logic2 (1970), 251–296.

    Article  MathSciNet  Google Scholar 

  4. E. Fisher,Homogeneous universal models revisited, to appear.

  5. K. Kaiser,Uber eine Verallgemeinerung der Robinsonschen Modellvervollständigung, I, II, Math. Logik Grundlagen Math.15 (1969), 37–48, 123–134.

    Article  MathSciNet  Google Scholar 

  6. A. Macintyre,On algebraically closed groups, Xerox notes, October, 1970.

  7. A. Robinson,Théorie métamathématique, des idéaux, Collection de Logique Mathématique, Paris-Louvain, 1955.

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

    MATH  Google Scholar 

  9. A. Robinson,Forcing in model theory, Symposia Math.5 (1970), 69–82.

    Google Scholar 

  10. A. Robinson,Infinite forcing in model theory, Proc. of 2nd Scandinavian Symposium in Logic, Oslo, June, 1970, ed. by J. E. Fenstad, North Holland, 1971, pp. 317–340.

  11. A. Robinson,Forcing in model theory, Actes Congrès. Intern. Math., Tome1, 1970., 245–250.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Yale University, New Haven, Conn.

    Edward R. Fisher & Abraham Robinson

Authors
  1. Edward R. Fisher
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Abraham Robinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research supported in part by the National Science Foundation Grant No. GP-29218.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fisher, E.R., Robinson, A. Inductive theories and their forcing companions. Israel J. Math. 12, 95–107 (1972). https://doi.org/10.1007/BF02764656

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation