THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS

DOI10.1002/malq.19640101803zbMath0221.02034OpenAlexW2148206381MaRDI QIDQ5625144

Raphael M. Robinson

Publication date: 1964

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19640101803

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (16)

On a question of Abraham Robinson ⋮ Defining additive subgroups of the reals from convex subsets ⋮ The Diophantine Problem for Polynomial Rings and Fields of Rational Functions ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Extensions of Hilbert's tenth problem ⋮ Existential definability and diophantine stability ⋮ Undecidability and Definability for the Theory of Global Fields ⋮ In Memoriam: Raphael Mitchel Robinson ⋮ La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field) ⋮ Computational complexity of sentences over fields ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Polynomial time algorithms for sentences over number fields ⋮ Implicit definability of subfields ⋮ Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes ⋮ Decidable fragments of field theories ⋮ Defining transcendentals in function fields

This page was built for publication: THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS