Author:
Fehm Arno,Geyer Wulf-Dieter
Abstract
AbstractThe 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.
Publisher
Cambridge University Press (CUP)
Reference15 articles.
1. Introduction to the Theory of Algebraic Functions of One Variable
2. On the undecidability of the elementary theories of certain fields (Russian);Malcev;Sibirskij Matematiceskij Zurnal,1960