All Questions

Say that a preorder (i.e., a reflexive and transitive binary relation) $\preceq$ on a set $X$ is artinian if there is no sequence $(x_n)_{n \ge 1}$ of elements of $X$ with $x_{n+1} \prec x_n$ for ...

Let’s say I have a set $A$. I build the free commutative monoid $M$ generated by $A$. When can a well-order on $A$ be extended to $M$, in a way that is compatible with its monoid structure? I am ...

Characters on the semigroup $(C_{+}^{b}(\mathbb{R}^{d}),+)$, i.e. on bounded positive continuous functions with the ususal pointwise addition, are known to be of the form $C_{+}^{b}(\mathbb{R}^{d})\ni ...

A po-groupoid is a groupoid $\langle A,\cdot\rangle $ such that the relation defined by $$ x \leq y \text{ if and only if } x \cdot y = x $$ is a partial order on $A$, the order related to $\langle ...

A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...

Let $\mathfrak A = (A, \cdot)$ be a semigroup (written multiplicatively). We say that $\mathfrak A$ is linearly orderable if there exists a total order $\le$ on $A$ such that $ac < bc$ and $ca < ...