×

Nonstandard arithmetic. (English) Zbl 0189.28403


PDF BibTeX XML Cite
Full Text: DOI

References:

[1] James Ax and Simon Kochen, Diophantine problems over local fields. I, Amer. J. Math. 87 (1965), 605 – 630. · Zbl 0136.32805
[2] C. Chevalley, Généralisation de la théorie du corps de classes pour les extensions infinies, J. Math. Pures Appl. (9) 15 (1936), 359-371. · Zbl 0015.15101
[3] P. J. Cohen, Decision procedures for real and p-adic fields, Unpublished. · Zbl 0167.01502
[4] T. Frayne, A. C. Morel, and D. S. Scott, Reduced direct products, Fund. Math. 51 (1962/1963), 195 – 228. · Zbl 0108.00501
[5] D. K. Harrison, Finite and infinite primes for rings and fields, Mem. Amer. Math. Soc. No. 68 (1966), 62. · Zbl 0144.02802
[6] Helmut Hasse, Zur arithmetischen Theorie der algebraischen Funktionenkörper, Jber. Deutsch. Math. Verein 52 (1942), 1 – 48 (German). · JFM 68.0057.01
[7] Leon Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159 – 166. · Zbl 0034.00602
[8] H. Jerome Keisler, Ultraproducts and elementary classes, Nederl. Akad. Wetensch. Proc. Ser. A 64 = Indag. Math. 23 (1961), 477 – 495. · Zbl 0118.01501
[9] John G. Kemeny, Undecidable problems of elementary number theory, Math. Ann. 135 (1958), 160 – 169. · Zbl 0081.24703
[10] Simon Kochen, Ultraproducts in the theory of models, Ann. of Math. (2) 74 (1961), 221 – 261. · Zbl 0132.24602
[11] W. Krull, Galoissche Theorie unendlicher algebraischer Erweiterungen, Math. Ann. 100 (1928), 678-698. · JFM 54.0157.02
[12] Serge Lang, Rapport sur la cohomologie des groupes, W. A. Benjamin, Inc., New York-Amsterdam, 1967 (French). · Zbl 0171.28903
[13] W. A. J. Luxemburg, A new approach to the theory of monads, Symposium on Applications of Model Theory to Analysis and Algebra, Pasadena, May 1967, (to appear).
[14] R. Mac Dowell and E. Specker, Modelle der Arithmetik, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 257 – 263 (German). · Zbl 0126.01103
[15] Elliott Mendelson, On non-standard models for number theory, Essays on the foundations of mathematics, Magnes Press, Hebrew Univ., Jerusalem, 1961, pp. 259 – 268.
[16] Abraham Robinson, Les rapports entre le calcul déductif et l’interprétation sémantique d’un système axiomatique, Les méthodes formelles en axiomatique. Colloques Internationaux du Centre National de la Recherche Scientifique, no. 26, Paris, 1950, Centre National de la Recherche Scientifique, Paris, 1953, pp. 35 – 51; discussion, pp. 51 – 52 (French). · Zbl 0050.24602
[17] A. Robinson, Model theory and non-standard arithmetic, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959) Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 265 – 302.
[18] Abraham Robinson, Non-standard analysis, North-Holland Publishing Co., Amsterdam, 1966. · Zbl 0102.00708
[19] A. Robinson, A new approach to the theory of algebraic numbers, Accad. Naz. Lincei Rend. (8) 40 (1966), 222-225, 770-774. · Zbl 0173.00801
[20] Abraham Robinson, Non-standard theory of Dedekind rings, Nederl. Akad. Wetensch. Proc. Ser. A 70=Indag. Math. 29 (1967), 444 – 452. · Zbl 0189.28501
[21] Abraham Robinson, Standard and nonstandard number systems, Nieuw Arch. Wisk. (3) 21 (1973), 115 – 133. The Brouwer memorial lecture 1973, Leiden, April 26, 1973. · Zbl 0267.02041
[22] J.-P. Serre, Cohomologie Galoisienne, Lecture Notes in Mathematics No. 5, Springer, Berlin, 1964. · Zbl 0143.05901
[23] T. Skolem, Über die Nichtcharakterisierbarkeit der Zahlenreihe mittels endlich oder unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fund. Math.23 (1934), 150-161. · JFM 60.0025.02
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.