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

zbMATH Keywords

quadratic extensionsordered fieldsextensions of odd degree

Mathematics Subject Classification ID

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

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)