scientific article; zbMATH DE number 3877167

MaRDI QIDQ3344192zbMATH OpenFDO

Authors Gregory Cherlin

Publication date 1984

zbMATH Keywords

valued fieldsrational function fieldformal power series fieldinfinite perfect fieldweak monadic theories

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Undecidability in Function Fields of Positive Characteristic
• Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Sur la théorie élémentaire des corps de fonctions

Cited in

(14)

• Undecidable wreath products and skew power series fields
• Valued fields with a total residue map
• Sur la théorie élémentaire des corps de fonctions
• An undecidability result for the asymptotic theory of \(p\)-adic fields
• Hilbert's tenth problem for fields of rational functions over finite fields
• The undecidability of cyclotomic towers
• Undecidability of ℚ⁽²⁾
• Indécidabilité de corps de séries formelles
• Indécidabilité des corps de courbe réelle
• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• On a question of Abraham Robinson
• An Undecidability Result for Power Series Rings of Positive Characteristic
• Undecidability in Function Fields of Positive Characteristic
• The rational field is not universally definable in pseudo-exponentiation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3344192)