PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2017 | 25 | 1 | 63-72
Tytuł artykułu

Ordered Rings and Fields

Treść / Zawartość
Warianty tytułu
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
Wydawca
Rocznik
Tom
25
Numer
1
Strony
63-72
Opis fizyczny
Daty
wydano
2017-03-28
otrzymano
2017-03-17
online
2017-05-11
Twórcy
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2017-0006
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.