Related papers: The Cantor-Bernstein-Schroder theorem in algebra
We study homeomorphisms of a Cantor set with $k$ ($k < +\infty$) minimal invariant closed (but not open) subsets; we also study crossed product C*-algebras associated to these Cantor systems and their certain orbit-cut sub-C*-algebras. In…
We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on…
We show that the Cantor-Schr\"oder-Bernstein Theorem for homotopy types, or $\infty$-groupoids holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in…
In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…
The original Specker-Blatter Theorem (1983) was formulated for classes of structures $\mathcal{C}$ of one or several binary relations definable in Monadic Second Order Logic MSOL. It states that the number of such structures on the set…
We show how the classical Moser Lemma from symplectic geometry extends to generalized complex structures (GCS) on arbitrary Courant algebroids. For this, we extend the notion of Lie derivative to sections of the tensor bundle $(\otimes^i…
The Gr\"atzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable…
In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…
The Serre-Swan theorem in differential geometry establishes an equivalence between the category of smooth vector bundles over a smooth compact manifold and the category of finitely generated projective modules over the unital ring of smooth…
We provide a new computation of the K-theory of the group $C^*$-algebra of the solvable Baumslag-Solitar group $BS(1,n)\;(n\neq 1)$; our computation is based on the Pimsner-Voiculescu 6-terms exact sequence, by viewing $BS(1,n)$ as a…
We generalize the Bernstein-Walsh-Siciak theorem on polynomial approximation in $\mathbb{C}^n$ to the case where the polynomial ring $\mathcal{P}(\mathbb{C}^n)$ is replaced by a subring $\mathcal{P}^S(\mathbb{C}^n)$ consisting of all…
In this paper we present a simple approach to big Ramsey combinatorics of the Cantor set $2^\omega$. Using Infinite Dual Ramsey Theorem of Carlson and Simpson, we show that $2^\omega$, viewed as a topological space, has finite big Ramsey…
We give a detailed introduction to the theory of Cuntz semigroups for C*-algebras. Beginning with the most basic definitions and technical lemmas, we present several results of historical importance, such as Cuntz's theorem on the existence…
The original Bondi-Metzner-Sachs (BMS) group B is the common asymptotic symmetry group of all asymptotically flat Lorentzian radiating 4-dim space-times. As such, B is the best candidate for the universal symmetry group of General…
In this paper we refine and extend the results of arXiv:1701.04138, where a connection between the $AdS_{5}\times S^{5}$ superstring lambda model on $S^{1}=\partial D$ and a double Chern-Simons (CS) theory on $D$ based on the Lie…
A classical result of Sherman says that if the space of self-adjoint elements in a $C^*$-algebra $\mathcal{A}$ is a lattice with respect to its canonical order, then $\mathcal{A}$ is commutative. We give a new proof of this theorem which…
Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$.…
The Central sets theorem was first introduced by H. Furstenberg [F] in terms of Dynamical systems. Later Hindman and Bergelson extended the theorem using Stone-$\v{C}$ech compactification $\beta$$\mathbb{N}$ of $\mathbb{N}$. In [SY]…
Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe…
We show a general decomposition theorem in Baer *-rings. As a consequence the vast majority of decompositions known in the algebra of bounded Hilbert space operators are generalized to Baer *-rings. There are also results which are new in…