Skip to main content

Quantifier elimination

  • 210 Accesses

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

Keywords

  • Inductive Procedure
  • Amalgamation Property
  • Quantifier Elimination
  • Local Isomorphism
  • Real Closure

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

  1. Blum, L., Ph.D. Thesis, Massachusetts Institute of Technology, 1968

    Google Scholar 

  2. Fraissé, R. Sur quelques classifications des relations, basées sur des isomorphismes restreints. I. Étude générale. II. Application aux relations d'ordres. Alger-Mathématiques 2 (1955), 16–60, 273–295

    Google Scholar 

  3. Keisler, H.J., Ultraproducts and saturated models, Indag. Math. 26 (1964), 178–186.

    MathSciNet  Google Scholar 

  4. Kochen, S., Ultraproducts in the theory of models, Ann. of Math. 74 (1961), 221–261.

    CrossRef  MATH  MathSciNet  Google Scholar 

  5. Mostowski, A., and Tarski, A., Arithmetical classes and types of well-ordered systems, Bull. Amer. Math. Soc. 55 (1949), 65.

    Google Scholar 

  6. Morley, M., and Vaught, R., Homogeneous universal models, Math. Scand. 11 (1962), 37–57.

    MATH  MathSciNet  Google Scholar 

  7. Robinson, A., Complete Theories, Amsterdam, 1956, 129pp.

    Google Scholar 

  8. Sacks, G.E., Saturated Model Theory, Reading, Mass., 1972, xii+335pp.

    Google Scholar 

  9. Shoenfield, J.R., Mathematical Logic, Reading, Mass., 1967, vii+344pp.

    Google Scholar 

  10. Shoenfield, J.R., A theorem on quantifier elimination, Symposia Mathematica 5 (1970), 173–176.

    Google Scholar 

  11. Szmielew, W., Elementary properties of abelian groups, Fund. Math. 41 (1955), 203–271.

    MATH  MathSciNet  Google Scholar 

  12. Tarski, A., A Decision Method for Elementary Algebra and Geometry, Berkeley and Los Angeles, 1951, iii+63 pp.

    Google Scholar 

  13. Tarski, A., Arithmetical classes and types of Boolean algebras, Bull. Amer. Math. Soc. 55 (1949), 64.

    Google Scholar 

  14. Vaught, R., Denumerable models of complete theories, Infinitistic Methods, Wardzawa, 1961, 303–321.

    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

Krauss, P. (1975). Quantifier elimination. 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/BFb0079427

Download citation

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

  • 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