Related papers: Definability of band structures on posets
Right feeble groups are defined as groupoids $(X,*)$ such that (i) $x, y\in X$ implies the existence of $a, b \in X$ such that $a*x = y$ and $b*y = x$. Furthermore, (ii) if $x, y, z \in X$ then there is an element $w\in X$ such that…
We show that under the proper forcing axiom the class of all Aronszajn lines behave like $\sigma$-scattered orders under the embeddability relation. In particular, we are able to show that the class of better quasi order labeled fragmented…
It is proved that: each collectively order continuous set of operators from an Archimedean OVS with a generating cone to an OVS is collectively order bounded; and each collectively order to norm bounded set of operators from an ordered…
A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the…
We study the finite basis problem for additively idempotent semirings satisfying the identity $xy \approx xz$. Let $\mathbf{R}$ denote the variety of all such semirings. Yue et al. (2025, Algebra Universalis, DOI:10.1007/s00012-025-00908-5)…
In \cite[Theorem 2.5]{Bac16} Bachiller proved that if $(G, \cdot, \circ)$ is a brace of order the power of a prime $p$ and the rank of $(G,\cdot)$ is smaller than $p-1$, then the order of any element is the same in the additive and…
We prove that a special alternating knot does not decompose as a non-trivial band sum. This restricts concordances from special alternating knots, and we conjecture that special alternating knots are ribbon concordance minimal. We verify…
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we…
We characterize numerical semigroups for which the poset of its ideal class monoid is a lattice, and study the irreducible elements of such a lattice with respect to union, intersection, infimum and supremum.
We define MC left regular bands and study their adjacency graphs. We prove that for thin MC left regular bands, the adjacency graph is particularly nice and is represented by edge labeled graphs where every simple cycle has an even number…
A CP-semigroup is aligned if its set of trivially maximal subordinates is totally ordered by subordination. We prove that aligned spatial E_0-semigroups are prime: they have no non-trivial tensor product decompositions up to cocycle…
We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative…
In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…
Paraorthomodular posets are bounded partially ordered set with an antitone involution induced by quantum structures arising from the logico-algebraic approach to quantum mechanics. The aim of the present work is starting a systematic…
Hamkins and Kikuchi (2016 and 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. If $\mathcal{M}$ is a model of set theory, then $\langle M,…
For a prime $r$, we obtain lower bounds on the proportion of $r$-regular elements in classical groups and show that these lower bounds are the best possible lower bounds that do not depend on the order of the defining field. Along the way,…
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain…
We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by…
The degree-degree correlation is crucial in understanding the structural properties of and dynamics occurring upon network, and is often measured by the assortativity coefficient $r$. In this paper, we first study this measure in detail and…
A class of new type graded infinite posets with minimal element are considered. These so called cobweb posets introduced recently by the present author provide a wide range of new noncommutative prefab combinatorial schema with…