The Undecidability of Algebraic Rings and Fields

Journal of Symbolic Logic 29 (1):57-58 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269793

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,567

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Julia Robinson. The undecidability of algebraic rings and fields. Proceedings of the American Mathematical Society, vol. 10 , pp. 950–957. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.
Undecidability of indecomposable polynomial rings.Marco Barone, Nicolás Caro-Montoya & Eudes Naziazeno - 2025 - Archive for Mathematical Logic 64 (1):185-203.
Julia Robinson. On the decision problem for algebraic rings. Studies in mathematical analysis and related topics, Essays in honor of George Pólya, edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, pp. 297–304. [REVIEW]V. H. Dyson - 1970 - Journal of Symbolic Logic 35 (3):475-476.
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of Q.Alexandra Shlapentokh - 1994 - Annals of Pure and Applied Logic 68 (3):299-325.
Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
Julia Robinson. The undecidability of exponential Diophantine equations. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 12–13. [REVIEW]R. A. DiPaola & Frederic B. Fitch - 1970 - Journal of Symbolic Logic 35 (1):152-152.
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
Wildness implies undecidability for lattices over group rings.Carlo Toffalori - 1997 - Journal of Symbolic Logic 62 (4):1429-1447.
On the Decision Problem for Algebraic Rings.Julia Robinson, Gabor Szego, Charles Loewner, Stefan Bergman, Menahem Max Schiffer & Jerzy Neyman - 1970 - Journal of Symbolic Logic 35 (3):475-476.
Abraham Robinson. Algebraic function fields and non-standard arithmetic. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 1–14. [REVIEW]Diana L. Dubrovsky - 1974 - Journal of Symbolic Logic 39 (2):339-340.

Analytics

Added to PP
2015-02-05

Downloads
14 (#1,342,344)

6 months
5 (#777,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Implicit Definability of Subfields.Akito Tsuboi & Kenji Fukuzaki - 2003 - Notre Dame Journal of Formal Logic 44 (4):217-225.
Hilbert's Tenth Problem for Rings of Rational Functions.Karim Zahidi - 2002 - Notre Dame Journal of Formal Logic 43 (3):181-192.

Add more citations

References found in this work

No references found.

Add more references