scientific article; zbMATH DE number 4210287

MaRDI QIDQ3358841zbMATH OpenFDO

Authors Henri Lombardi, Marie-Françoise Roy

Publication date 1991

zbMATH Keywords

Sturm's theoremreal closureordered field

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 29408
• Theory of ordered fields
• scientific article; zbMATH DE number 1295206
• Constructive ordered algebraic structures
• scientific article; zbMATH DE number 722168
• scientific article; zbMATH DE number 1795222
• Constructive completions of ordered sets, groups and fields
• Ordered fields satisfying Pólya’s theorem
• The algebraic theory of order

Cited in

(16)

• Restriction map of spaces of orderings of fields
• Constructive rereading of Artin-Schreier theory
• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• An algebraic certificate for Budan's theorem
• An alternative construction of Conway's ordered field No
• Construction of the Henselization of a valued field
• ALGEBRAIC CLOSURE WITHOUT CHOICE
• Constructive completions of ordered sets, groups and fields
• Dynamical method in algebra: Effective Nullstellensätze
• A construction of real closed fields
• Some new results on ordered fields
• Towards faster real algebraic numbers
• The behavior of chains of orderings under field extensions and places
• scientific article; zbMATH DE number 940706 (Why is no real title available?)
• Geometric theories for the algebra of real numbers
• scientific article; zbMATH DE number 1795222 (Why is no real title available?)

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