Victoria Symposium on Nonstandard Analysis pp 195-202 | Cite as
Omitting types in arithmetic and conservative extensions
Conference paper
First Online:
Keywords
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.
Preview
Unable to display preview. Download preview PDF.
References
- 1.A. Cantor, Doctoral Dissertation, University of South Carolina, 1972.Google Scholar
- 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.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.J. Kemeny, Undecidable Problems of Elementary Number Theory, Mathematische Annalen, 135, pp. 160–169.Google Scholar
- 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.T. Skolem, Peano’s Axioms and Models of Arithmetic, Mathematical Interpretations of Formal Systems, Amsterdam, 1955.Google Scholar
- 7.G. Zahn, Doctoral Dissertation, University of South Carolina, 1971.Google Scholar
- 8.R. Phillips, A Minimal Extension which is not Conservative, in preparation.Google Scholar
Copyright information
© Springer-Verlag 1974