Defining Transcendentals in Function Fields.

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 c...