A note on defining transcendentals in function fields. (English) Zbl 1202.03045

In this note the authors fix some arguments in [J. Koenigsmann, “Defining transcendentals in function fields”, J. Symb. Log. 67, No. 3, 947–956 (2002; Zbl 1015.03041)] about function fields of one variable, say \(F/K\). More precisely, they fix an argument in the proof of Theorem 1 on the (first-order) definability of \(K\) in \(F\) in case some group of \(n\)-th powers \({K^\times}^n\) has finite index in \(K^\times\) with \(n>1\) coprime with the characteristic of \(K\). Unfortunately, the new definition obtained is no longer existential. They also fix an argument in the proof of Theorem 3 on the existence for any \(K\) of a function field of one variable \(F/K\) which has definable transcendentals in case \(K\) is not perfect. The authors give some further remarks of interest, e.g. that it follows from simple known facts and Koenigsmann’s key basic characterization, that every inseparable function field of one variable has definable transcendentals.


03C60 Model-theoretic algebra
12F10 Separable extensions, Galois theory
12L12 Model theory of fields


Zbl 1015.03041
Full Text: DOI


[1] Introduction to the theory of algebraic functions of one variable (1951)
[2] Models and Computability (1997)
[3] DOI: 10.1090/S0002-9939-1992-1095220-5
[4] Définissabilité dans les corps de fonctions p-adiques 56 pp 783– (1991)
[5] DOI: 10.1090/S0002-9947-1955-0070211-3
[6] DOI: 10.2307/2118581 · Zbl 0862.12003
[7] Lectures on the theory of algebraic functions of one variable (1973)
[8] Sibirskij Matematiceskij Zurnal 1 pp 71– (1960)
[9] Defining transcendental in function fields 67 pp 947– (2002)
[10] Journal für die reine und angewandte Mathematik · JFM 52.0026.04
[11] International Mathematics Research Notices
[12] Sur la théorie élémentaire des corps de fonctions 51 pp 948– (1986)
[13] Model theory with applications to algebra and analysis (2007)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.