Related papers: Functional reducts of Boolean algebras
The sine-Gordon Y-systems and those of the minimal $M_{p,q}+\phi_{13}$ models are determined in a compact form and a correspondence between the rational numbers and a new infinite family of multi-parameter functional equations for the…
In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis.…
We extend a classification of irreducible, almost-commutative geometries whose spectral action is dynamically non-degenerate, to internal algebras that have six simple summands. We find essentially four particle models: An extension of the…
Assuming GCH, we construct an atomic boolean algebra whose pi-weight is strictly less than the least size of a maximal irredundant family.
Looking at some monoids and (semi)rings (natural numbers, integers and p-adic integers), and more generally, residually finite algebras (in a strong sense), we prove the equivalence of two ways for a function on such an algebra to behave…
Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…
The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold…
Every partial algebra is the colimit of its total subalgebras. We prove this result for partial Boolean algebras (including orthomodular lattices) and the new notion of partial C*-algebras (including noncommutative C*-algebras), and…
We call an affine algebraic supergroup quasireductive if its underlying algebraic group is reductive. We obtain some results about the structure and representations of reductive supergroups.
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 develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
We classify connected \'etale algebras in (possibly non-unitary) modular fusion categories $\mathcal B$'s with $\text{rank}(\mathcal B)\le5$. We also comment on Lagrangian algebra, anyon condensation, and physical applications. Concretely,…
In this paper, we study the irreducible objects of the category Cf in of integrable representations for Map full Toroidal Lie algebras with finite dimensional weight spaces. These representations turn out to be single point evaluation…
We describe explicitly the algebra of polynomial functions on the Hilbert space of four qubit states which are invariant under the SLOCC group $SL(2,{\mathbb C})^{4}$. From this description, we obtain a closed formula for the…
We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that…
A parallel method for computing Boolean expressions based on the properties of finite free Boolean algebras is presented. We also show how various finite combinatorial objects can be codded in the formalism of Boolean algebras and counted…
Let $A$ be a bi-Koszul algebra, we describe all possible $A_\infty$-algebra structures on the Ext-algebra $E(A)$, and prove that $E(A)$ must be $[m_2, m_3]$-finitely generated. An equivalent description for a connected graded algebra to be…
Multizeta values are numbers appearing in many different contexts. Unfortunately, their arithmetics remains mostly out of reach. In this article, we define a functional analogue of the algebra of multizetas values, namely the algebra of…
It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value algebras if and only if it is sound and complete for a model…
Let $\mathbb{A}_n^m$ be an arbitrary $n$-dimensional commutative associative algebra over the field of complex numbers with $m$ idempotents. Let $e_1=1,e_2,e_3$ be elements of $\mathbb{A}_n^m$ which are linearly independent over the field…