Simple axiomatizations of Rolle fields

DOI10.1007/BF02567925zbMath0715.12004MaRDI QIDQ752078

Danielle Gondard-Cozette

Publication date: 1990

Published in: Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/155558

zbMATH Keywords

Pythagorean fieldsordered fieldfirst order axiomatizationRolle field

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Ordered fields (12J15)

Related Items

On Rolle fields, with examples, Null- and Positivstellensätze for generalized real closed fields, Number of connected components of a real variety and \(\mathbb{R}\)-places, Valuation fans and residually closed Henselian fields

Cites Work

• Ordered fields satisfying Rolle's theorem
• Extended Artin-Schreier theory of fields
• On the structure of Pythagorean fields
• Corps et Anneaux de Rolle
• Chains of higher level orderings
• Ordered fields satisfying Rolle's theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item