论文信息 - Implicit Definability of Subfields - 字舞流文

Implicit Definability of Subfields

Akito Tsuboi | Kenji Fukuzaki

[1] B. Poizat. A Course in Model Theory , 2000 .

[2] J. Robinson. The undecidability of algebraic rings and fields , 1959 .

[3] R. Robinson. THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS , 1964 .