Related papers: The strong amalgamation property into union
A Universal Mapping Property is generally described as a characterization of an object up to a unique isomorphism by considering its relation to every other object; however, the term "by considering its relation to every other object" is…
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…
The strong tree property and ITP (also called the super tree property) are generalizations of the tree property that characterize strong compactness and supercompactness up to inaccessibility. That is, an inaccessible cardinal $\kappa$ is…
We consider a superalgebra with a superinvolution or graded involution $\#$ over a field $F$ of characteristic zero and assume that it is a $PI$-algebra. In this paper, we present the proof of a version of the celebrated hook theorem…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
Explicit expressions for multimatrix models with complex and unitary matrices allows to couple these models with well-known unitary, orthogonsl and sympletic ensembles. We consider examples of such mixed ensembles which are solvable in the…
We introduce the relative Haagerup approximation property for a unital, expected inclusion of arbitrary von Neumann algebras and show that if the smaller algebra is finite then the notion only depends on the inclusion itself, and not on the…
In the paper, I consider properties and mappings of free algebra with unit. I consider also conjugation of free algebra with unit.
Using the representation theory of the subgroups SL_2(Z_p) of the modular group we investigate the induced fusion algebras in some simple examples. Only some of these representations lead to 'good' fusion algebras. Furthermore, the…
In this paper, we introduce two moduli of w*-semidenting points and characterise the Mazur Intersection Property (MIP) and the Uniform MIP (UMIP) in terms of these moduli. We show that a property slightly stronger than UMIP already implies…
The link between (super)-affine Lie algebras as Poisson brackets structures and integrable hierarchies provides both a classification and a tool for obtaining superintegrable hierarchies. The lack of a fully systematic procedure for…
Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…
A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…
We characterize ultrafilter convergence and ultrafilter compactness in linearly ordered and generalized ordered topological spaces. In such spaces, and for every ultrafilter $D$, the notions of $D$-compactness and of $D$-pseudocompactness…
We prove a theorem on structural stability of smooth attractor-repellor endomorphisms of compact manifolds, with singularities. By attractor-repellor, we mean that the non-wandering set of the dynamics $f$ is the disjoint union of a…
We study two transitivity properties for group actions on buildings, called Weyl transitivity and strong transitivity. Following hints by Tits, we give examples involving anisotropic algebraic groups to show that strong transitivity is…
One of the most studied algebraic structures with one operation is the Abelian group, which is defined as a structure whose operation satisfies the associative and commutative properties, has identical element and every element has an…
We describe $\sigma$-matching, interchangeable and, as a consequence, totally compatible products on some classes of associative algebras, including unital algebras, the semigroup algebras of rectangular bands, algebras with enough…
In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…
In this paper we give characterizations of the super-stable theories, in terms of an external property called representation. In the sense of the representation property, the mentioned class of first-order theories can be regarded as "not…