Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-04T18:52:01.572Z Has data issue: false hasContentIssue false
  • English
  • Français

Sur la théorie élémentaire des corps de fonctions

Published online by Cambridge University Press:  12 March 2014

Jean-Louis Duret
Jean-Louis Duret*
Affiliation:
Équipe de Logique Mathématique, Université Paris VII, Paris, France
*
Faculté des Sciences, Université D'Angers, 49045 Angers, France
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 51 , Issue 4 , December 1986 , pp. 948 - 956
Copyright
Copyright © Association for Symbolic Logic 1986

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

[B]Bourbaki, Nicolas, Algèbre, Chapitre 5, Hermann, Paris, 1967.Google Scholar
[C]Cherlin, Gregory L., Undecidability of rational function fields in nonzero characteristic, Logic colloquium '82 (Longo, G.et al., editors), North-Holland, Amsterdam, 1984, pp. 85–95.CrossRefGoogle Scholar
[D]Deuring, Max, Lectures on the theory of algebraic functions of one variable, Lecture Notes in Mathematics, vol. 314, Springer-Verlag, Berlin, 1973.CrossRefGoogle Scholar
[F]Fulton, William, Algebraic curves, Benjamin, New York, 1969.Google Scholar
[H]Hartshorne, Robin, Algebraic geometry, Springer-Verlag, Berlin, 1977.CrossRefGoogle Scholar
[J]Jacobson, Nathan, Lectures in abstract algebra. Vol. III: Theory of fields and Galois theory, Van Nostrand, Princeton, New Jersey, 1964.CrossRefGoogle Scholar
[L]Lang, Serge, Introduction to algebraic geometry, Addison-Wesley, Reading, Massachusetts, 1972.Google Scholar
[S]Schmidt, Karsten, Über ein Problem von E. Artin (non publié).Google Scholar
[T]Tarski, Alfred et Vaught, Robert L., Arithmetical extensions of relational systems, Compositio Mathematica, vol. 13 (1957), pp. 81–102.Google Scholar