A note on defining transcendentals in function fields
Arno Fehm and Wulf-Dieter Geyer
Source: J. Symbolic Logic Volume 74, Issue 4 (2009), 1206-1210.
Abstract
The work [11] deals with questions of first-order definability in algebraic function fields. In particular, it exhibits new cases in which the field of constant functions is definable, and it investigates the phenomenon of definable transcendental elements. We fix some of its proofs and make additional observations concerning definable closure in these fields.
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.jsl/1254748687
Digital Object Identifier: doi:10.2178/jsl/1254748687
References
Luc Bélair and Jean-Louis Duret, Définissabilité dans les corps de fonctions $p$-adiques, Journal of Symbolic Logic, vol. 56 (1991), no. 3, pp. 783--785.
Mathematical Reviews (MathSciNet):
MR1129142
JSTOR: links.jstor.org
Vitaly Bergelson and Daniel B. Shapiro, Multiplicative subgroups of finite index in a ring, Proceedings of the American Mathematical Society, vol. 116 (1992), no. 4, pp. 885--896.
Mathematical Reviews (MathSciNet):
MR1095220
Digital Object Identifier: doi:10.2307/2159464
JSTOR: links.jstor.org
Zoé Chatzidakis, Simplicity and independence for pseudo-algebraically closed fields, Models and Computability (S. Barry Cooper and John K. Truss, editors), Cambridge University Press, 1997.
Mathematical Reviews (MathSciNet):
MR1721163
Zentralblatt MATH:
0945.03054
Claude Chevalley, Introduction to the theory of algebraic functions of one variable, American Mathematical Society, 1951.
Mathematical Reviews (MathSciNet):
MR42164
Max Deuring, Lectures on the theory of algebraic functions of one variable, Lecture Notes in Mathematics 314, Springer, 1973.
Mathematical Reviews (MathSciNet):
MR344231
Zentralblatt MATH:
0249.14008
Jean-Louis Duret, Sur la théorie élémentaire des corps de fonctions, Journal of Symbolic Logic, vol. 51 (1986), no. 4, pp. 948--956.
Mathematical Reviews (MathSciNet):
MR865921
Digital Object Identifier: doi:10.2307/2273907
JSTOR: links.jstor.org
Kirsten Eisenträger and Alexandra Shlapentokh, Undecidability in function fields of positive characteristic, International Mathematics Research Notices, to appear.
Arno Fehm, Subfields of ample fields I. Rational maps and definability, (2008), arXiv:0811.2895v1 [math.AG].
David Harbater, On function fields with free absolute Galois groups, Journal für die reine und angewandte Mathematik, to appear.
Markus Junker and Jochen Koenigsmann, Schlanke Körper (Slim Fields), Journal of Symbolic Logic, to appear.
Jochen Koenigsmann, Defining transcendentals in function fields, Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 947--956.
Mathematical Reviews (MathSciNet):
MR1925951
Zentralblatt MATH:
1015.03041
Digital Object Identifier: doi:10.2178/jsl/1190150142
Project Euclid: euclid.jsl/1190150142
A. I. Malcev, On the undecidability of the elementary theories of certain fields (Russian), Sibirskij Matematiceskij Zurnal, vol. 1 (1960), no. 1, pp. 71--77.
Mathematical Reviews (MathSciNet):
MR125797
Bjorn Poonen and Florian Pop, First-order definitions in function fields over anti-mordellic fields, Model theory with applications to algebra and analysis (Chatzidakis, Macpherson, Pillay, and Wilkie, editors), Cambridge University Press, 2007.
Florian Pop, Embedding problems over large fields, Annals of Mathematics, vol. 144 (1996), pp. 1--34.
Mathematical Reviews (MathSciNet):
MR1405941
Zentralblatt MATH:
0862.12003
Digital Object Identifier: doi:10.2307/2118581
Maxwell Rosenlicht, Automorphisms of function fields, Transactions of the American Mathematical Society, vol. 79 (1955), pp. 1--11.
Mathematical Reviews (MathSciNet):
MR70211
Zentralblatt MATH:
0065.02501
Digital Object Identifier: doi:10.2307/1992833
