Related papers: Some more axiomatisability for S-acts

We show that the class of C*-algebras with stable rank greater than a given positive integer is axiomatizable in logic of metric structures. As a consequence we show that the stable rank is continuous with respect to forming ultrapowers of…

The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act…

An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself…

Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form…

In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of…

We review principal results on axiomatizability of classes of lattices of equivalences

The $S$-adic conjecture claims that there exists a condition $C$ such that a sequence has a sub-linear complexity if and only if it is an $S$-adic sequence satisfying Condition $C$ for some finite set $S$ of morphisms. We present an…

We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and…

We introduce the class of strongly sofic monoids. This class of monoids strictly contains the class of sofic groups and is a proper subclass of the class of sofic monoids. We define and investigate sofic topological entropy for actions of…

We initiate the study of the expansion $\mathcal{S}(M)$ of a monoid $M$ obtained via the semidirect product of $M$ acting naturally on the left of its power set (regarded as a semilattice under union). We term this the `subset expansion' of…

Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…

Building on an old result of Duncan and Namioka, we show that the ${\ell}^1$-convolution algebra of a semilattice $S$ is biflat precisely when $S$ is uniformly locally finite. The proof shows in passing that for such $S$ the convolution…

It is known that some theories of class $S$ are actually factorized into multiple decoupled nontrivial four-dimensional $N=2$ theories. We propose a way of constructing examples of this phenomenon using the physics of half-BPS surface…

Let F be a global function field and let F^ab be its maximal abelian extension. Following an approach of D.Hayes, we shall construct a continuous homomorphism \rho: Gal(F^ab/F) \to C_F, where C_F is the idele class group of F. Using class…

We introduce group actions on polyfolds and polyfold bundles. We prove quotient theorems for polyfolds, when the group action has finite isotropy. We prove that the sc-Fredholm property is preserved under quotient if the base polyfold is…

We study subsets of groups and monoids defined by language-theoretic means, generalizing the classical approach to the word problem. We expand on results by Herbst from 1991 to a more general setting, and for a class of languages…

We study prime ideals, prime modules, and associated primes of graded modules over rings $S$ graded by a unique product monoid. We consider two situations in detail: (a) the case where $S$ is strongly group-graded and (b) the case where $S$…

On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean…

An action is a pair of sets, $C$ and $S$, and a function $f\colon C\times S \to C$. Rothschild and Yalcin gave a simple axiomatic characterization of those actions arising from set intersection, i.e.\ for which the elements of $C$ and $S$…

We study classes of proper restriction semigroups determined by properties of partial actions underlying them. These properties include strongness, antistrongness, being defined by a homomorphism, being an action etc. Of particular interest…