Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. A. Cantor, Doctoral Dissertation, University of South Carolina, 1972.
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.
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.
4. J. Kemeny, Undecidable Problems of Elementary Number Theory, Mathematische Annalen, 135, pp. 160–169.
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.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Theory of Nonstandard Structures with Applications;Handbook of the History and Philosophy of Mathematical Practice;2024
2. Model Theory of Nonstandard Structures with Applications;Handbook of the History and Philosophy of Mathematical Practice;2020
3. Minimal elementary end extensions;Archive for Mathematical Logic;2017-05-15
4. Subsets coded in elementary end extensions;Archive for Mathematical Logic;2014-04-02
5. Minimal elementary extensions of models of set theory and arithmetic;Archive for Mathematical Logic;1990-05