Corps et Anneaux de Rolle

DOI10.2307/2046522zbMath0613.03011OpenAlexW4247775431MaRDI QIDQ3753988

Françoise Delon

Publication date: 1986

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

zbMATH Keywords

Rolle's theoremordered ringHenselian valuationRolle fieldBrown-Craven-Pelling theoremfirst order property in the language of ringsRolle rings

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Ordered fields (12J15) Henselian rings (13J15)

Related Items (2)

Null- and Positivstellensätze for generalized real closed fields ⋮ Simple axiomatizations of Rolle fields

Cites Work

• Real closed rings. II. Model theory
• On the elementary theory of Hensel fields
• Elementary properties of ordered abelian groups
• Shorter Notes: On the Undecidability of Power Series Fields
• Ordered fields satisfying Rolle's theorem
• Unnamed Item
• Unnamed Item

This page was built for publication: Corps et Anneaux de Rolle