The undecidability of algebraic rings and fields
HTML articles powered by AMS MathViewer
- by Julia Robinson PDF
- Proc. Amer. Math. Soc. 10 (1959), 950-957 Request permission
References
-
Emil Artin, Lectures on modern higher algebra, Part III, mimeographed notes, New York University, 1948.
- Ph. Furtwängler, Die Reziprozitätsgesetze für Potenzreste mit Primzahlexponenten in algebraischen Zahlkörpern, Math. Ann. 74 (1913), no. 3, 413–429 (German). MR 1511772, DOI 10.1007/BF01456752
- Helmut Hasse, Kurt Hensels entscheidender Anstoss zur Entdeckung des Lokal-Global-Prinzips, J. Reine Angew. Math. 209 (1962), 3–4 (German). MR 139510, DOI 10.1515/crll.1962.209.3 —, Darstellbarkeit von Zahlen durch quadratische Formen in einem beliebigen algebraischen Zahlkörper, J. Reine Angew. Math. vol. 153 (1923) pp. 113-130. —, Bericht über neuere Untersuchungen und Probleme aus der Theorie der algebraischen Zahlkörper, Teil I, Jahresbericht der Deutschen Mathematiker-Vereinigung vol. 35 (1926) pp. 1-55.
- Julia Robinson, Definability and decision problems in arithmetic, J. Symbolic Logic 14 (1949), 98–114. MR 31446, DOI 10.2307/2266510
- Raphael M. Robinson, Undecidable rings, Trans. Amer. Math. Soc. 70 (1951), 137–159. MR 41081, DOI 10.1090/S0002-9947-1951-0041081-0
- Raphael M. Robinson, Arithmetical definability of field elements, J. Symbolic Logic 16 (1951), 125–126. MR 42357, DOI 10.2307/2266685
- Alfred Tarski, Undecidable theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1953. In collaboration with Andrzej Mostowski and Raphael M. Robinson. MR 0058532 Ernst Witt, Theorie der quadratischen Formen in beliebigen Körpern, J. Reine Angew. Math. vol. 176 (1936) pp. 31-44.
Additional Information
- © Copyright 1959 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 10 (1959), 950-957
- MSC: Primary 02.00
- DOI: https://doi.org/10.1090/S0002-9939-1959-0112842-7
- MathSciNet review: 0112842