Extensions of orderings

DOI10.2478/FORMA-2023-0027zbMATH Open1542.68235MaRDI QIDQ6557129FDOQ6557129

Authors: Christoph Schwarzweller 

Publication date: 18 June 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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

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)

Cites Work

• Lectures on formally real fields
• Flexary connectives in Mizar
• Four decades of \textsc{Mizar}. Foreword
• Commutative algebra in the Mizar system
• Quadratic extensions
• Field extensions and Kronecker's construction
• Ordered rings and fields
• Normal 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)