Axiomatization and undecidability results for linear betweenness relations
Robert Mendris, Pavol Zlatoš (1996)
Mathematica Slovaca
Similarity:
Displaying similar documents to “Linear and -linear betweenness spaces”
Axiomatization and undecidability results for linear betweenness relations
An -algebra approach to Artin’s solution of Hilbert’s Seventeenth Problem
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.
Topology on ordered fields
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 .