Related papers: Partitions of primitive Boolean spaces
The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…
We introduce the concept of a type system~$\Part$, that is, a partition on the set of finite words over the alphabet~$\{0,1\}$ compatible with the partial action of Thompson's group~$V$, and associate a subgroup~$\Stab{V}{\Part}$ of~$V$. We…
Let BP be the p-completed classifying space of a p-group P with p-rank 2. For an odd prime p, by using stable homotopy splitting of BP, we study the decomposition of even dimensional parts of the integral cohomology and the Chow ring of BP.
Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial…
A ringed finite space is a ringed space whose underlying topological space is finite. The category of ringed finite spaces contains, fully faithfully, the category of finite topological spaces and the category of affine schemes. Any ringed…
In this paper we introduce primigraph spaces, which are topological spaces together with a sheaf of $C^*$-algebras that can be covered by some Prim A's, that is, by the primitive spectra of some $C^*$-algebras endowed with Jacobson topology…
For every partially ordered sets I, having a finite cofinal subset, and every field K we build a unital, locally matricial and hence unit-regular K-algebra B(I) such that the lattice of all its ideals is order isomorphic to the lattice of…
Let $(C,\iota)$ be a stable curve with an involution. Following a classical construction one can define its Prym variety $P$, which in this case turns out to be a semiabelian group variety and usually not complete. In this paper we study…
We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense…
We determine the structure of the partition algebra $P_n(Q)$ (a generalized Temperley-Lieb algebra) for specific values of $Q \in \C$, focusing on the quotient which gives rise to the partition function of $n$ site $Q$-state Potts models…
The Tree Evaluation Problem ($\mathsf{TreeEval}$) is a computational problem originally proposed as a candidate to prove a separation between complexity classes $\mathsf{P}$ and $\mathsf{L}$. Recently, this problem has gained significant…
Six-dimensional (2, 0) theory can be defined on a large class of six-manifolds endowed with some additional topological and geometric data (i.e. an orientation, a spin structure, a conformal structure, and an R-symmetry bundle with…
Guided by physical needs, we deal with the rotationally isotropic Poincar\'e ball, when considering the complement of Borromean rings embedded in it. We consistently describe the geometry of the complement and realize the fundamental group…
The Standard Model of particle physics provides very accurate predictions of phenomena occurring at the sub-atomic level, but the reason for the choice of symmetry group and the large number of particles considered elementary, is still…
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition,…
The nine two-dimensional Cayley-Klein geometries are firstly reviewed by following a graded contraction approach. Each geometry is considered as a set of three symmetrical homogeneous spaces (of points and two kinds of lines), in such a…
We investigate the combinatorial structure of unrefinable partitions through their correspondence with numerical sets and Young diagrams. Building on the bijection introduced by Keith and Nath, we apply a general geometric criterion that…
A Poisson structure on a manifold is characterized by the Schouten bracket. The graded algebra of the tangent bundle with the Schouten bracket is a prototype of Lie superalgebra. The Poisson condition means that a cycle in the 2-chain…
We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $\Delta_{2}^{0}$-categorical equivalence structures and linear…
The topological fundamental group $\pi_{1}^{top}$ is a topological invariant that assigns to each space a quasi-topological group and is discrete on spaces which are well behaved locally. For a totally path-disconnected, Hausdorff, unbased…