The undecidability of pure transcendental extensions of real fields

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):275-282 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19640101803

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Review: Raphael M. Robinson, The Undecidability of Pure Transcendental Extensions of Real fields; Raphael M. Robinson, M. A. Tajclin, The Undecidability of the Elementary Theory of the Field of Rational Functions of One Variable with Rational Coefficients. [REVIEW]Benjamin Franklin Wells - 1966 - Journal of Symbolic Logic 31 (2):254-255.
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.
Transseries and Todorov–Vernaeve’s asymptotic fields.Matthias Aschenbrenner & Isaac Goldbring - 2014 - Archive for Mathematical Logic 53 (1-2):65-87.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Undecidability of some elementary theories over pac fields.Gregory Cherlin & Moshe Jarden - 1986 - Annals of Pure and Applied Logic 30 (2):137-163.
Extensions séparées et immédiates de corps valués.Françoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Extensions Separees et Immediates de Corps Values.Francoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
COMPTON, KJ, HENSON, CW and SHELAH, S., Noncon-vergence, undecidability and intractability in asymptotic problems DI PRISCO, CA and LLOPIS, J., On some extensions of the projective hierarchy. [REVIEW]Cw Henson - 1987 - Annals of Pure and Applied Logic 36:315.
ALLEN, B., Arithmetizing Uniform NC BASARAB, SA, Relative elimination of quantifiers for Hen-selian valued fields BUSS, SR, The undecidability of k-provability GALLIER, JH, What's so special about Kruskal's theorem and.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53:297.
Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
Review: A. I. Mal'cev, Sibirskij mathemmaticeskij:(O nerazresimosti elementarnyh teorij nekotoryh polej):On the Undecidability of the Elementary Theories of Certain Fields; A. I. Mal'cev, Sibirskij mathemmaticeskij:(Zamecanie k stat'e "O nerazreimosti elementarnyh teorij nekotoryh polej"):Remark on the Paper "On the Undecidability of the Elementary Theories of Certain Fields". [REVIEW]B. F. Wells - 1965 - Journal of Symbolic Logic 30 (3):395-397.
Review: James Ax, On the Undecidability of Power Series Fields. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):684-684.
Definability of the ring of integers in some infinite algebraic extensions of the rationals.Kenji Fukuzaki - 2012 - Mathematical Logic Quarterly 58 (4-5):317-332.
Review: Julia Robinson, The Undecidability of Algebraic Rings and Fields. [REVIEW]Martin Davis - 1964 - Journal of Symbolic Logic 29 (1):57-58.

Analytics

Added to PP
2014-01-16

Downloads
26 (#610,794)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Defining transcendentals in function fields.Jochen Koenigsmann - 2002 - Journal of Symbolic Logic 67 (3):947-956.
Decidable fragments of field theories.Shih-Ping Tung - 1990 - Journal of Symbolic Logic 55 (3):1007-1018.
In memoriam: Raphael Mitchel Robinson.Leon Henkin - 1995 - Bulletin of Symbolic Logic 1 (3):340-343.
Extensions of Hilbert's tenth problem.Thanases Pheidas - 1994 - Journal of Symbolic Logic 59 (2):372-397.
Implicit Definability of Subfields.Akito Tsuboi & Kenji Fukuzaki - 2003 - Notre Dame Journal of Formal Logic 44 (4):217-225.

Add more citations

References found in this work

No references found.

Add more references