Axiomatization and undecidability results for linear betweenness relations
Robert Mendris, Pavol Zlatoš (1996)
Mathematica Slovaca
Similarity:
Robert Mendris, Pavol Zlatoš (1996)
Mathematica Slovaca
Similarity:
Stuart A. Steinberg (2010)
Annales de la faculté des sciences de Toulouse Mathématiques
Similarity:
Using lattice-ordered algebras it is shown that a totally ordered field which has a unique total order and is dense in its real closure has the property that each of its positive semidefinite rational functions is a sum of squares.
Yoshio Tanaka (2012)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
An ordered field is a field which has a linear order and the order topology by this order. For a subfield of an ordered field, we give characterizations for to be Dedekind-complete or Archimedean in terms of the order topology and the subspace topology on .
Štefan Černák (1973)
Matematický časopis
Similarity: