scientific article; zbMATH DE number 29408

MaRDI QIDQ3986779zbMATH OpenFDO

Authors Henri Lombardi, Marie-France Roy

Publication date 27 June 1992

zbMATH Keywords

\(d\)-closed ordered fieldsalgebraic mean value theoremalgorithm IF (formal inequalities)constructive proofHörmander algorithmordered fieldreal closureSturm's theoremuniformly primitive recursive algorithms

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15)

Recommendations

• scientific article; zbMATH DE number 4210287
• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• An Intuitionistic Axiomatisation of Real Closed Fields
• scientific article; zbMATH DE number 1795222
• A construction of real closed fields

Cited in

(13)

• An alternative construction of Conway's ordered field No
• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• Dynamic evaluation and real closure.
• scientific article; zbMATH DE number 4210287 (Why is no real title available?)
• Constructive deciphering of classical proofs: the Artin theorem in Galois theory
• scientific article; zbMATH DE number 1295206 (Why is no real title available?)
• Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace
• scientific article; zbMATH DE number 1795222 (Why is no real title available?)
• Geometric theories for the algebra of real numbers
• A sheaf model of the algebraic closure
• Orders on computable rings
• An algebraic certificate for Budan's theorem
• Punctually presented structures I: Closure theorems

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 Q3986779)