Journal of Symbolic Logic

Sur La Theorie Elementaire Des Corps De Fonctions

Jean-Louis Duret

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

We study the first order theory of function fields in the language of fields by using fundamental results on curves in algebraic geometry. We give some applications; for example, using a theorem of G. Cherlin, we prove the undecidability of function fields with nonzero characteristic over an algebraically closed field.

Article information

Source
J. Symbolic Logic, Volume 51, Issue 4 (1986), 948-956.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183742233

Mathematical Reviews number (MathSciNet)
MR865921

Zentralblatt MATH identifier
0655.03023

JSTOR
links.jstor.org

Citation

Duret, Jean-Louis. Sur La Theorie Elementaire Des Corps De Fonctions. J. Symbolic Logic 51 (1986), no. 4, 948--956. https://projecteuclid.org/euclid.jsl/1183742233


Export citation