Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/5570
Tytuł: | Ordered Rings and Fields |
Autorzy: | Schwarzweller, Christoph |
Słowa kluczowe: | commutative algebra ordered fields positive cones |
Data wydania: | 2017 |
Data dodania: | 5-cze-2017 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 25, Issue 1, pp. 63-72 |
Abstrakt: | 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]. |
Afiliacja: | Schwarzweller Christoph - Institute of Informatics, University of Gdansk, Gdansk, Poland |
URI: | http://hdl.handle.net/11320/5570 |
DOI: | 10.1515/forma-2017-0006 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2017, Volume 25, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2017-0006.pdf | 242,36 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL