We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.

It is a classic result in modal logic, often referred to as Jónsson-Tarski duality, that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality for boolean algebras. Our goal is to generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main novelty is to define a modal operator on such a ring utilizing a continuous relation on a compact Hausdorff space.

Our starting point is the well-known Gelfand duality between the category ${\sf KHaus}$ of compact Hausdorff spaces and the category $\boldsymbol {\mathit {uba}\ell }$ of uniformly complete bounded archimedean $\ell $-algebras. We endow a bounded archimedean $\ell $-algebra with a modal operator, which results in the category $\boldsymbol {\mathit {mba}\ell }$ of modal bounded archimedean $\ell $-algebras. Our main result establishes a dual adjunction between $\boldsymbol {\mathit {mba}\ell }$ and the category ${\sf KHF}$ of what we call compact Hausdorff frames; that is, Kripke frames equipped with a compact Hausdorff topology such that the binary relation is continuous. This dual adjunction restricts to a dual equivalence between ${\sf KHF}$ and the reflective subcategory $\boldsymbol {\mathit {muba}\ell }$ of $\boldsymbol {\mathit {mba}\ell }$ consisting of uniformly complete objects of $\boldsymbol {\mathit {mba}\ell }$. This generalizes both Gelfand duality and Jónsson-Tarski duality.

In 2001, the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway’s ordered field ${\mathbf {No}}$ of surreal numbers was brought to the fore by the first author and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$-vector space) to be isomorphic to an initial subfield ($K$-subspace) of ${\mathbf {No}}$, i.e. a subfield ($K$-subspace) of ${\mathbf {No}}$ that is an initial subtree of ${\mathbf {No}}$. In this sequel, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling’s conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of $({\mathbf {No}}, \exp )$. These include all models of $T({\mathbb R}_W, e^x)$, where ${\mathbb R}_W$ is the reals expanded by a convergent Weierstrass system W. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of ${\mathbf {No}}$, which includes ${\mathbf {No}}$ itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field ${\mathbb T}^{LE}$ of logarithmic-exponential transseries into ${\mathbf {No}}$ is shown to be initial, as are the ordered exponential fields ${\mathbb R}((\omega ))^{EL}$ and ${\mathbb R}\langle \langle \omega \rangle \rangle $.

All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee , \cdot , 1\}$-equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions, such as the knotted axioms and the other prespinal axioms, we prove that undecidability is ubiquitous. Known undecidability results for non-commutative extensions use an encoding that fails in the presence of commutativity, so and-branching counter machines are employed. Even these machines provide encodings that fail to capture proper extensions of commutativity, therefore we introduce a new variant that works on an exponential scale. The correctness of the encoding is established by employing the theory of residuated frames.

We present a Zermelo–Fraenkel ($\textbf {ZF}$) consistency result regarding bi-orderability of groups. A classical consequence of the ultrafilter lemma is that a group is bi-orderable if and only if it is locally bi-orderable. We show that there exists a model of $\textbf {ZF}$ plus dependent choice in which there is a group which is locally free (ergo locally bi-orderable) and not bi-orderable, and the group can be given a total order. The model also includes a torsion-free abelian group which is not bi-orderable but can be given a total order.

A slope r is called a left orderable slope of a knot $K \subset S^3$ if the 3-manifold obtained by r-surgery along K has left orderable fundamental group. Consider double twist knots $C(2m, \pm 2n)$ and $C(2m+1, -2n)$ in the Conway notation, where $m \ge 1$ and $n \ge 2$ are integers. By using continuous families of hyperbolic ${\mathrm {SL}}_2(\mathbb {R})$-representations of knot groups, it was shown in [8, 16] that any slope in $(-4n, 4m)$ (resp. $ [0, \max \{4m, 4n\})$) is a left orderable slope of $C(2m, 2n)$ (resp. $C(2m, - 2n)$) and in [6] that any slope in $(-4n,0]$ is a left orderable slope of $C(2m+1,-2n)$. However, the proofs of these results are incomplete, since the continuity of the families of representations was not proved. In this paper, we complete these proofs, and, moreover, we show that any slope in $(-4n, 4m)$ is a left orderable slope of $C(2m+1,-2n)$ detected by hyperbolic ${\mathrm {SL}}_2(\mathbb {R})$-representations of the knot group.

We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces.

We construct total orders on the vertex set of an oriented tree. The orders are based only on up-down counts at the interior vertices and the edges along the unique geodesic from a given vertex to another.

As an application, we provide a short proof (modulo Bass–Serre theory) of Vinogradov’s result that the free product of left-orderable groups is left-orderable.

Every left-invariant ordering of a group is either discrete, meaning there is a least element greater than the identity, or dense. Corresponding to this dichotomy, the spaces of left, Conradian, and bi-orderings of a group are naturally partitioned into two subsets. This note investigates the structure of this partition, specifically the set of dense orderings of a group and its closure within the space of orderings. We show that for bi-orderable groups, this closure will always contain the space of Conradian orderings—and often much more. In particular, the closure of the set of dense orderings of the free group is the entire space of left-orderings.

By previous work of Giordano and the author, ergodic actions of $\mathbf{Z}$ (and other discrete groups) are completely classified measure-theoretically by their dimension space, a construction analogous to the dimension group used in $\text{C}^{\ast }$-algebras and topological dynamics. Here we investigate how far from approximately transitive (AT) actions can be that derive from circulant (and related) matrices. It turns out not very: although non-AT actions can arise from this method of construction, under very modest additional conditions, approximate transitivity arises. KIn addition, if we drop the positivity requirement in the isomorphism of dimension spaces, then all these ergodic actions satisfy an analogue of AT. Many examples are provided.

This paper explores the structure groups G(X,r) of finite non-degenerate set-theoretic solutions (X,r) to the Yang–Baxter equation. Namely, we construct a finite quotient $\overline {G}_{(X,r)}$ of G(X,r), generalizing the Coxeter-like groups introduced by Dehornoy for involutive solutions. This yields a finitary setting for testing injectivity: if X injects into G(X,r), then it also injects into $\overline {G}_{(X,r)}$. We shrink every solution to an injective one with the same structure group, and compute the rank of the abelianization of G(X,r). We show that multipermutation solutions are the only involutive solutions with diffuse structure groups; that only free abelian structure groups are bi-orderable; and that for the structure group of a self-distributive solution, the following conditions are equivalent: bi-orderable, left-orderable, abelian, free abelian and torsion free.

We provide an equivariant extension of the bivariant Cuntz semigroup introduced in previous work for the case of compact group actions over C*-algebras. Its functoriality properties are explored, and some well-known classification results are retrieved. Connections with crossed products are investigated, and a concrete presentation of equivariant Cuntz homology is provided. The theory that is here developed can be used to define the equivariant Cuntz semigroup. We show that the object thus obtained coincides with the one recently proposed by Gardella [‘Regularity properties and Rokhlin dimension for compact group actions’, Houston J. Math. 43(3) (2017), 861–889], and we complement their work by providing an open projection picture of it.

It is shown that, for any field $\mathbb{F}\subseteq \mathbb{R}$ , any ordered vector space structure of $\mathbb{F}^{n}$ with Riesz interpolation is given by an inductive limit of a sequence with finite stages $(\mathbb{F}^{n},\mathbb{F}_{\geq 0}^{n})$ (where $n$ does not change). This relates to a conjecture of Effros and Shen, since disproven, which is given by the same statement, except with $\mathbb{F}$ replaced by the integers, $\mathbb{Z}$ . Indeed, it shows that although Effros and Shen’s conjecture is false, it is true after tensoring with $\mathbb{Q}$ .

In this paper, we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

It is proved that a quantale is projective if and only if it is isomorphic to a derived tensor quantale over a completely distributive sup-lattice. Furthermore, an intrinsic characterization of projectivity is given in terms of inertial sup-lattices and derivations of quantales.

A semiring is a set $S$ with two binary operations $+ $ and $\cdot $ such that both the additive reduct ${S}_{+ } $ and the multiplicative reduct ${S}_{\bullet } $ are semigroups which satisfy the distributive laws. If $R$ is a ring, then, following Chaptal [‘Anneaux dont le demi-groupe multiplicatif est inverse’, C. R. Acad. Sci. Paris Ser. A–B 262 (1966), 274–277], ${R}_{\bullet } $ is a union of groups if and only if ${R}_{\bullet } $ is an inverse semigroup if and only if ${R}_{\bullet } $ is a Clifford semigroup. In Zeleznikow [‘Regular semirings’, Semigroup Forum 23 (1981), 119–136], it is proved that if $R$ is a regular ring then ${R}_{\bullet } $ is orthodox if and only if ${R}_{\bullet } $ is a union of groups if and only if ${R}_{\bullet } $ is an inverse semigroup if and only if ${R}_{\bullet } $ is a Clifford semigroup. The latter result, also known as Zeleznikow’s theorem, does not hold in general even for semirings $S$ with ${S}_{+ } $ a semilattice Zeleznikow [‘Regular semirings’, Semigroup Forum 23 (1981), 119–136]. The Zeleznikow problem on a certain class of semirings involves finding condition(s) such that Zeleznikow’s theorem holds on that class. The main objective of this paper is to solve the Zeleznikow problem for those semirings $S$ for which ${S}_{+ } $ is a semilattice.

Rooted monounary algebras can be considered as an algebraic counterpart of directed rooted trees. We work towards a characterization of the lattice of compatible quasiorders by describing its join- and meet-irreducible elements. We introduce the limit $\cB _\infty $ of all $d$-dimensional Boolean cubes $\Two ^d$ as a monounary algebra; then the natural order on $\Two ^d$ is meet-irreducible. Our main result is that any completely meet-irreducible quasiorder of a rooted algebra is a homomorphic preimage of the natural partial order (or its inverse) of a suitable subalgebra of $\cB _\infty $. For a partial order, it is known that complete meet-irreducibility means that the corresponding partially ordered structure is subdirectly irreducible. For a rooted monounary algebra it is shown that this property implies that the unary operation has finitely many nontrivial kernel classes and its graph is a binary tree.

We introduce perfect effect algebras and we show that every perfect algebra is an interval in the lexicographical product of the group of all integers with an Abelian directed interpolation po-group. To show this we introduce prime ideals of effect algebras with the Riesz decomposition property (RDP). We show that the category of perfect effect algebras is categorically equivalent to the category of Abelian directed interpolation po-groups. Moreover, we prove that any perfect effect algebra is a subdirect product of antilattice effect algebras with the RDP.

Pseudoeffect (PE-) algebras generalize effect algebras by no longer being necessarily commutative. They are in certain cases representable as the unit interval of a unital po-group, for instance if they fulfil a certain Riesz property.

Several infinitary lattice properties and the countable Riesz interpolation property are studied for PE-algebras on the one hand and for po-groups on the other hand. We establish the exact relationships between the various conditions that are taken into account, and in particular, we examine how properties of a PE-algebra are related to the analogous properties of a representing po-group.

Let A be a uniformly complete vector sublattice of an Archimedean semiprime f-algebra B and p ∈ {1, 2,…}. It is shown that the set ΠBp (A) = {f1 … fp: fk ∈ A, k = 1, …, p } is a uniformly complete vector sublattice of B. Moreover, if A is provided with an almost f-algebra multiplication * then there exists a positive operator Tp, from ΠBp(A) into A such that fi *…* fp = Tp(f1 …fp) for all f1…fp ∈ A.

As application, being given a uniformly complete almost f-algebra (A, *) and a natural number p ≧ 3, the set Π*p(A) = {f1 *… *fp: fk ∈ A, k = 1…p} is a uniformly complete semiprime f-algebra under the ordering and the multiplication inherited from A.