Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/6550
Tytuł: | Formally Real Fields |
Autorzy: | Schwarzweller, Christoph |
Słowa kluczowe: | formally real fields ordered fields abstract value square roots |
Data wydania: | 2017 |
Data dodania: | 11-maj-2018 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 25, Issue 4, Pages 249–259 |
Abstrakt: | Summary We extend the algebraic theory of ordered fields [7, 6] in Mizar [1, 2, 3]: we show that every preordering can be extended into an ordering, i.e. that formally real and ordered fields coincide.We further prove some characterizations of formally real fields, in particular the one by Artin and Schreier using sums of squares [4]. In the second part of the article we define absolute values and the square root function [5]. |
Afiliacja: | Institute of Informatics, Faculty of Mathematics, Physics and Informatics, University of Gdansk Wita Stwosza 57, 80-308 Gdansk, Poland |
URI: | http://hdl.handle.net/11320/6550 |
DOI: | 10.1515/forma-2017-0024 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2017, Volume 25, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma-2017-0024.pdf | 301,73 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL