Corps et Anneaux de Rolle

DOI10.2307/2046522MaRDI QIDQ3753988zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 4004316
• Ordered fields satisfying Rolle's theorem
• Simple axiomatizations of Rolle fields
• scientific article; zbMATH DE number 3937287
• scientific article; zbMATH DE number 4208219

Cites work

• scientific article; zbMATH DE number 4004316 (Why is no real title available?)
• scientific article; zbMATH DE number 3518914 (Why is no real title available?)
• Elementary properties of ordered abelian groups
• On the elementary theory of Hensel fields
• Ordered fields satisfying Rolle's theorem
• Real closed rings. II. Model theory
• Shorter Notes: On the Undecidability of Power Series Fields

Cited in

(8)

• Null- and Positivstellensätze for generalized real closed fields
• Valuation fans and residually closed Henselian fields
• scientific article; zbMATH DE number 4004316 (Why is no real title available?)
• On Rolle fields, with examples
• A Simple Proof of Rolle's Theorem for Finite Fields
• Simple axiomatizations of Rolle fields
• Ordered fields satisfying Rolle's theorem
• Anneaux henséliens

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

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