Related papers: Some more axiomatisability for S-acts
We show that the class of unital $\mathrm{C}^*$-algebras is an elementary class in the language of operator systems. As a result, we have that there is a definable predicate in the language of operator systems that defines the…
We show that S-arithmetic lattices in semisimple Lie groups with no rank one factors are quasi-isometrically rigid.
In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura…
By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by \'etale groupoids, we extend results about groupoid actions and quantales that were previously proved…
Some completely positive maps on reduced amalgamated free products of C*-algebras are constructed; these allow a proof that the class of exact unital C*-algebras is closed under taking reduced amalgamated free products. Consequently, the…
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for…
Let $A \leq G$ be a subgroup of a group $G$. An $A$-complement of $G$ is a subgroup $H$ of $G$ such that $G = A H$ and $A \cap H = \{1\}$. The \emph{classifying complements problem} asks for the description and classification of all…
Let $S$ be a subset of a amenable group $G$ such that $e\in S$ and $S^{-1}=S$. The main result of the paper states that if the Cayley graph of $G$ with respect to $S$ has a certain combinatorial property, then every positive definite…
It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…
In this paper, our aim is to obtain a new generalization of the well-kown Rhoades' contractive condition. To do this, we introduce the notion of an $S$-normed space. We extend the Rhoades' contractive condition to $S$-normed spaces and…
Based on the concept and properties of $C^{*}$-algebras, the paper introduces a concept of $C_{*}$-class functions. Then by using these functions in $C^{*}$-algebra- valued modular metric spaces of moeini et al. [14], some common fixed…
We study applications of a general approach for arities and arizabilities of theories to group and monoid theories. It is proved that a theory of a group $G$ is aritizable if and only if $G$ is finite. It is shown that this criterion does…
We prove a functoriality result for the full C*-algebras of right-LCM monoids with respect to monoid inclusions that are closed under factorization and preserve orthogonality, and use this to show that if a right-LCM monoid is amenable in…
Let $M$ be a monoid that is embeddable in a group. We consider the topos $\mathbf{PSh}(M)$ of sets equipped with a right $M$-action, and we study the subtoposes that are of monoid type, i.e. the subtoposes that are again of the form…
We study acts and modules of maximal growth over finitely generated free monoids and free associative algebras as well as free groups and free group algebras. The maximality of the growth implies some other specific properties of these acts…
The S-matrices for non-simply-laced affine Toda field theories are considered in the context of a generalised bootstrap principle. The S-matrices, and in particular their poles, depend on a parameter whose range lies between the Coxeter…
In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form $\forall x_0 \exists x_1 \dots \exists x_n \bigwedge x_i R_\lambda x_j$. We prove that many properties of these logics, such…
Let $\{\phi_s\}_{s\in S}$ be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra $N$. Assume there exists a semigroup $\{\alpha_s\}_{s\in S}$ of weak*-continuous…
This paper studies questions of coherence and strictification related to self-similarity - the identity $S\cong S\otimes S$ in a (semi-)monoidal category. Based on Saavedra's theory of units, we first demonstrate that strict self-similarity…
If a compact quantum group acts faithfully and smoothly (in the sense of Goswami 2009) on a smooth, compact, oriented, connected Riemannian manifold such that the action induces a natural bimodule morphism on the module of sections of the…