Defining transcendentals in function fields

Journal of Symbolic Logic 67 (3):947-956 (2002)
  Copy   BIBTEX

Abstract

Given any field K, there is a function field F/K in one variable containing definable transcendentals over K, i.e., elements in F \ K first-order definable in the language of fields with parameters from K. Hence, the model-theoretic and the field-theoretic relative algebraic closure of K in F do not coincide. E.g., if K is finite, the model-theoretic algebraic closure of K in the rational function field K(t) is K(t). For the proof, diophantine $\emptyset-definability$ of K in F is established for any function field F/K in one variable, provided K is large, or $K^{x}\,/(K^{x})^n$ is finite for some integer n > 1 coprime to char K

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
39 (#296,934)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Undecidability of Pure Transcendental Extensions of Real Fields.Raphael M. Robinson - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):275-282.

Add more references