Related papers: The Cantor-Bernstein-Schroder theorem in algebra
This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…
Two years ago, Conlon and Gowers, and Schacht proved general theorems that allow one to transfer a large class of extremal combinatorial results from the deterministic to the probabilistic setting. Even though the two papers solve the same…
The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain well-behaved infinite templates due to Bodirsky and Pinsker…
A famous result of Hausdorff states that a sphere with countably many points removed can be partitioned into three pieces A,B,C such that A is congruent to B (i.e., there is an isometry of the sphere which sends A to B), B is congruent to…
Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category of separable complex C*-algebras. Namely, they are in bijective…
This paper provides some counterexamples to Cantor's contributions to the foundations of Set Theory. The first counterexample forces Cantor's Diagonal Method (DM) to yield one of the numbers in the target list. To study this anomaly, and…
We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…
The full lattices in a finite dimensional commutative ${\mathbb Q}$-algebra form a commutative semigroup. In the case of an algebraic number field the top part of a certain quotient semigroup is the class group. For a separable algebra some…
We study the asymptotic behaviour of Betti numbers, twisted torsion and other spectral invariants of sequences of locally symmetric spaces. Our main results are uniform versions of the DeGeorge--Wallach Theorem, of a theorem of Delorme and…
We prove in constructive logic that the statement of the Cantor-Bernstein theorem implies excluded middle. This establishes that the Cantor-Bernstein theorem can only be proven assuming the full power of classical logic. The key ingredient…
As a generalization of skew braces, the notion of skew trusses was introduced by T. Brzezinski. It was shown that every Rota-Baxter group has the structure of skew braces by V. G. Bardakov and V. Gubarev. To investigate an analogue of…
In the first-order formulation, general relativity could be formally viewed as the topological $BF$ theory with a specific constraint, the Plebanski constraint. $BF$ theory is expected to be the classical limit of the Crane-Yetter~(CY)…
Feder-Vardi conjecture, which proposed that every finite-domain Constraint Satisfaction Problem (CSP) is either in P or it is NP-complete, has been solved independently by Bulatov and Zhuk almost ten years ago. Bodirsky-Pinsker conjecture…
Infinite generalizations of theorems in finite combinatorics were initiated by Erd\H{o}s due to his famous Erd\H{o}s-Menger conjecture (now known as the Aharoni-Berger theorem) that extends Menger's theorem to infinite graphs in a…
We prove a new uniqueness theorem for the tight C*-algebras of an inverse semigroup by generalizing the uniqueness theorem given for \'etale groupoid C*-algebras by Brown, Nagy, Reznikoff, Sims, and Williams. We use this to show that in the…
Given an algebra $A$ and an $A-A$-bimodule $U$ with co-algebra structure, a bocs, the algebras of endomorphisms of $A$ as left or right module of the bocs are known as Burt-Butler algebras (up to an appropriate opposite). Here we give a…
C$_{\lambda}$-extended oscillator algebras, where C$_{\lambda}$ is the cyclic group of order $\lambda$, are introduced and realized as generalized deformed oscillator algebras. For $\lambda=2$, they reduce to the well-known…
Coisotropic algebras are used to formalize coisotropic reduction in Poisson geometry as well as in deformation quantization and find applications in various other fields as well. In this paper we prove a Serre-Swan Theorem relating the…
I consider the classical Kac-Moody algebra and Virasoro algebra in Chern-Simons theory with boundary within the Dirac's canonical method and Noether procedure. It is shown that the usual (bulk) Gauss law constraint becomes a second-class…
The major results of Barker $[3.],$ leading to the spherical Bochner theorem and its (spherical) extension, were made possible through the spherical transform theory of Trombi-Varadarajan $[14.]$ and were greatly controlled by the…