Related papers: Boolean Factor Congruences and Property (*)
We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an…
We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…
This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a…
We study some properties of the {\bf cd}-index of the Boolean lattice. They are extremely similar to the properties of the {\ab}-index, or equivalently, the flag $h$-vector of the Boolean lattice and hence may be viewed as their {\bf…
In the first part of this article we introduce the notion of a backward-forward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduced in [Xu,Liu,Yung]. We can show that unless the spectum contains a…
A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of…
We study conditions under which subdirect products of various types of algebraic structures are finitely generated or finitely presented. In the case of two factors, we prove general results for arbitrary congruence permutable varieties,…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science. In this paper, we identify a general fibrational condition for the IA-FC…
Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…
Given a polynomial function $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ and a unbounded basic closed semi-algebraic set $S \subset \mathbb{R}^n,$ in this paper we show that the conditions listed below are characterized exactly in terms…
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup…
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the…
We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are compatible with particular binary fuzzy relations called fuzzy…
Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…
Racks and quandles are algebraic structures with a single binary operation that is right self-distributive and right invertible, and additionally idempotent in the case of quandles. The invertibility condition is equivalent to the existence…
In this paper, we give new criteria for affineness of a variety defined over $\Bbb{C}$. Our main result is that an irreducible algebraic variety $Y$ (may be singular) of dimension $d$ ($d\geq 1$) defined over $\Bbb{C}$ is an affine variety…
We consider several notions of regularity, including strong regularity, bounded relative units, and Ditkin's condition, in the setting of vector-valued function algebras. Given a commutative Banach algebra $A$ and a compact space $X$, let…