Extensions of orderings

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

Christoph Schwarzweller

Publication date: 18 June 2024

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

zbMATH Keywords

quadratic extensionsordered fieldsextensions of odd degree

Mathematics Subject Classification ID

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

Cites Work

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

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)