Ordered Rings and Fields

• Autorzy: Christoph Schwarzweller
• Języki publikacji: EN

Abstrakty

EN

We introduce ordered rings and fields following Artin-Schreier’s approach using positive cones. We show that such orderings coincide with total order relations and give examples of ordered (and non ordered) rings and fields. In particular we show that polynomial rings can be ordered in (at least) two different ways [8, 5, 4, 9]. This is the continuation of the development of algebraic hierarchy in Mizar [2, 3].

Słowa kluczowe

EN

commutative algebra; ordered fields; positive cones

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2017
• Tom: 25
• Numer: 1
• Strony: 63-72

Daty

wydano

2017-03-28

otrzymano

2017-03-17

online

2017-05-11

Twórcy

autor

Christoph Schwarzweller

• , ,

Identyfikatory

DOI

10.1515/forma-2017-0006