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

DOI10.2307/2273907zbMath0655.03023OpenAlexW2128333988MaRDI QIDQ3801535

Jean-Louis Duret

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273907

zbMATH Keywords

undecidabilitycurvesfirst order theory of function fields in the language of fields

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Model theory of fields (12L12) Curves in algebraic geometry (14H99)

Related Items

Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. ⋮ Unnamed Item ⋮ Subfields of ample fields. Rational maps and definability ⋮ Infinite finitely generated fields are biinterpretable with ℕ