Computable algebraic structures and nonstandard arithmetic
HTML articles powered by AMS MathViewer
- by Eugene W. Madison PDF
- Trans. Amer. Math. Soc. 130 (1968), 38-54 Request permission
References
- A. Fröhlich and J. C. Shepherdson, Effective procedures in field theory, Philos. Trans. Roy. Soc. London Ser. A 248 (1956), 407–432. MR 74349, DOI 10.1098/rsta.1956.0003
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790 E. W. Madison, Computable algebraic structures and nonstandard arithmetic, Ph.D. Thesis, Univ. of Illinois, Urbana, 1966.
- Elliott Mendelson, Introduction to mathematical logic, D. Van Nostrand Co., Inc., Princeton, N.J., 1964. MR 0164867
- Michael O. Rabin, Computable algebra, general theory and theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341–360. MR 113807, DOI 10.1090/S0002-9947-1960-0113807-4
- Abraham Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MR 0153570
- 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. MR 0142463
- Joseph J. Rotman, The theory of groups. An introduction, Allyn and Bacon, Inc., Boston, Mass., 1965. MR 0204499 T. Skolem, Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fund. Math. 23 (1934), 150-161.
- Alfred Tarski and Robert L. Vaught, Arithmetical extensions of relational systems, Compositio Math. 13 (1958), 81–102. MR 95121 B. L. van der Waerden, Modern algebra, Vol. I, rev. English ed., Ungar, New York, 1949.
- Seth Warner, Modern algebra. Vols. I, II, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1965. MR 0188242
Additional Information
- © Copyright 1968 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 130 (1968), 38-54
- MSC: Primary 02.72
- DOI: https://doi.org/10.1090/S0002-9947-1968-0219416-8
- MathSciNet review: 0219416