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 .
The Cantor Extension of a Lexicographic Product of -Groups
Štefan Černák (1973)
Matematický časopis
Similarity:
A fixed point theorem for mappings satisfying a contractive condition of rational type on a partially ordered metric space.
Harjani, J., López, B., Sadarangani, K. (2010)
Abstract and Applied Analysis
Similarity:
Monotonic mappings on ordered sets, a class of inequalities with finite differences and fixed points.
M.R. Taskovic (1974)
Publications de l'Institut Mathématique [Elektronische Ressource]
Similarity: