The real line R may be characterized as the unique nonatomic directed partially ordered abelian group which is monotone sigma-complete (countable increasing bounded sequences have suprema), satisfies the countable refinement property (countable sums $\sum_ma_m=\sum_nb_n$ of positive elements $a_m$, $b_n$ have common refinements) and that is linearly ordered. We prove here that the latter condition is not redundant, thus solving an old problem by A. Tarski, by proving that there are many spaces (in particular, of arbitrarily large cardinality) satisfying all above listed axioms except linear ordering
We characterize, in terms of elementary properties, the abelian monoids which are direct limits of f...
summary:A space is monotonically Lindelöf (mL) if one can assign to every open cover $\Cal U$ a coun...
International audienceIn this paper, we develop an Isabelle/HOL library of order-theoretic concepts,...
Abstract. The real line R may be characterized as the unique non atomic directed partially ordered a...
Abstract. We show that whenever A is a monotone σ-complete dimension group, then A+∪{∞} is countably...
For any partially ordered abelian group G, we relate the structure of the ordered monoid ?(G) of int...
We show that whenever $A$ is a monotone $\sigma$-complete dimension group, then $A^+\cup\{\infty\}$ ...
Karolyi-Ks and Ardal-Brown-Jungic proved that every vector space over has an ordering with no monoto...
This paper shows that there does not exist a finite abelian semigroup with order > 3 such that the...
AbstractFor any partially ordered abelian groupG, we relate the structure of the ordered monoid Λ(G)...
By a result of Simon it is known that a theory of a coloured linear order has quantifier elimination...
summary:In this paper we prove a theorem of Cantor-Bernstein type for orthogonally $\sigma $-complet...
AbstractWe define a certain notion of completeness for a wide class of commutative (pre)ordered mono...
Motivated by well known results in low-dimensional topology, we introduce and study a topol...
A space is monotonically Lindelöf (mL) if one can assign to every open cover U a countable open ref...
We characterize, in terms of elementary properties, the abelian monoids which are direct limits of f...
summary:A space is monotonically Lindelöf (mL) if one can assign to every open cover $\Cal U$ a coun...
International audienceIn this paper, we develop an Isabelle/HOL library of order-theoretic concepts,...
Abstract. The real line R may be characterized as the unique non atomic directed partially ordered a...
Abstract. We show that whenever A is a monotone σ-complete dimension group, then A+∪{∞} is countably...
For any partially ordered abelian group G, we relate the structure of the ordered monoid ?(G) of int...
We show that whenever $A$ is a monotone $\sigma$-complete dimension group, then $A^+\cup\{\infty\}$ ...
Karolyi-Ks and Ardal-Brown-Jungic proved that every vector space over has an ordering with no monoto...
This paper shows that there does not exist a finite abelian semigroup with order > 3 such that the...
AbstractFor any partially ordered abelian groupG, we relate the structure of the ordered monoid Λ(G)...
By a result of Simon it is known that a theory of a coloured linear order has quantifier elimination...
summary:In this paper we prove a theorem of Cantor-Bernstein type for orthogonally $\sigma $-complet...
AbstractWe define a certain notion of completeness for a wide class of commutative (pre)ordered mono...
Motivated by well known results in low-dimensional topology, we introduce and study a topol...
A space is monotonically Lindelöf (mL) if one can assign to every open cover U a countable open ref...
We characterize, in terms of elementary properties, the abelian monoids which are direct limits of f...
summary:A space is monotonically Lindelöf (mL) if one can assign to every open cover $\Cal U$ a coun...
International audienceIn this paper, we develop an Isabelle/HOL library of order-theoretic concepts,...