Related papers: Some more axiomatisability for S-acts

We present three natural combinatorial properties for class forcing notions, which imply the forcing theorem to hold. We then show that all known sufficent conditions for the forcing theorem (except for the forcing theorem itself),…

Let X be a linear space over K, K=R or K=C and let for n>1 \rho_i be s-convex semimodular defined on X for any i\in{1,...,n-1}. Put \rho=\max_{1\leq i \leq n-1}\{\rho_i\} and X_{\rho}= { x \in X: \rho(dx) < \infty for some d > 0 }. In this…

Let M be a manifold carrying the action of a Lie group G, and A a Lie algebroid on M equipped with a compatible infinitesimal G-action. Out of these data we construct an equivariant Lie algebroid cohomology and prove for compact G a related…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

We study the generalized right ample identity, introduced by the author in a previous paper. Let $S$ be a reduced $E$-Fountain semigroup which satisfies the congruence condition. We can associate with $S$ a small category $\mathcal{C}(S)$…

Let S be a compact orientable surface with genus g and n boundary components d_1,...,d_n. Let b = (b_1, ..., b_n) where b_n lies in [-2,2]. Then the mapping class group of S acts on the relative SU(2)-character variety X comprising…

We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational…

Let S be a commutative ring, Q a group that acts on S, and let R be the subring of S fixed under Q. A Q-normal S-algebra consists of a central S-algebra A and a homomorphism s from Q to the group Out(A) of outer automorphisms of A that…

We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by…

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…

Given a discrete and countable inverse semigroup $S$ one can study, in analogy to the group case, its geometric aspects. In particular, we can equip $S$ with a natural metric, given by the path metric in the disjoint union of its…

A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show…

We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…

Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL…

We construct a new class of integrable $\sigma$-models based on current algebra theories for a general semisimple group $G$ by utilizing a left-right asymmetric gauging. Their action can be thought of as the all-loop effective action of two…

This paper extends some results on the S-Lemma proposed by Yakubovich and uses the improved results to investigate the asymptotic stability of a class of switched nonlinear systems. Firstly, the strict S-Lemma is extended from quadratic…

We establish a necessary and sufficient condition for an action of a lattice by homeomorphisms of the circle to extend continuously to the ambient locally compact group. This condition is expressed in terms of the real bounded Euler class…

Let ${\mathcal A}$ denote the family of all functions $f$ analytic in the unit disk $\ID$ and satisfying the normalization $f(0)=0= f'(0)-1$. Let $\mathcal{S}$ denote the subclass of ${\mathcal A}$ consisting of univalent functions in…

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…