Raphael M. Robinson. The undecidability of pure transcendental extensions of real fields. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 275–282. - Raphael M. Robinson. Nérazréšimost′ eléméntarnoj téorii polá racional'nyh funkcij ot odnogo péréménnogo s racional′nymi koefficiéntami (The undecidability of the elementary theory of the field of rational functions of one variable with rational coefficients). Russian translation by M. A. Tajclin. Algébra i logika, Séminar, vol. 2 no. 4 (1963), pp. 5–11.
Keyword(s):
2020 ◽
pp. 229-248
Keyword(s):