Extensions of orderings

DOI10.2478/FORMA-2023-0027MaRDI QIDQ6557129zbMATH OpenFDO

Authors Christoph Schwarzweller

Publication date 18 June 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2023-0027

zbMATH Keywords

extensions of odd degreeordered fieldsquadratic extensions

Mathematics Subject Classification ID

Field extensions (12F99) Ordered fields (12J15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Formally real fields
• Spaces of orderings and quadratic extensions of fields
• Maximal extensions of ordered fields
• Order extensions and real algebraic geometry
• Ordered rings and fields

Cites work

• Commutative algebra in the Mizar system
• Field extensions and Kronecker's construction
• Flexary connectives in Mizar
• Four decades of \textsc{Mizar}. Foreword
• Lectures on formally real fields
• Normal extensions
• Ordered rings and fields
• Quadratic extensions

Cited in

(1)

• The number fields that are O*-fields II

This page was built for publication: Extensions of orderings

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