Omitting types in arithmetic and conservative extensions

  • R. G. Phillips
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 369)


Conservative Extension Minimal Extension Elementary Substructure Ternary Formula Proper 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Cantor, Doctoral Dissertation, University of South Carolina, 1972.Google Scholar
  2. 2.
    C.C. Chang, Ultra-products and other Methods of Constructing Models, Sets, Models, and Recursion Theory, Proceedings of the Summer School in Mathematical Logic, Leicester, 1965, pp. 85–121.Google Scholar
  3. 3.
    H. Gaifman. On Local Arithmetical Functions and their Application for Constructing Types of Peano’s Arithmetic, Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium, Jerusalem, 1968, pp. 105–121.Google Scholar
  4. 4.
    J. Kemeny, Undecidable Problems of Elementary Number Theory, Mathematische Annalen, 135, pp. 160–169.Google Scholar
  5. 5.
    R. MacDowell and E. Specker, Modelle der Arithmetik, Infinitistic Methods, Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959, (1961) pp. 257–263.Google Scholar
  6. 6.
    T. Skolem, Peano’s Axioms and Models of Arithmetic, Mathematical Interpretations of Formal Systems, Amsterdam, 1955.Google Scholar
  7. 7.
    G. Zahn, Doctoral Dissertation, University of South Carolina, 1971.Google Scholar
  8. 8.
    R. Phillips, A Minimal Extension which is not Conservative, in preparation.Google Scholar

Copyright information

© Springer-Verlag 1974

Authors and Affiliations

  • R. G. Phillips
    • 1
  1. 1.University of South CarolinaUSA

Personalised recommendations