Related papers: Congruence Boolean Lifting Property
It is known that a C*-algebra with the Global Glimm Property is nowhere scattered (it has no elementary ideal-quotients), and the Global Glimm Problem asks if the converse holds. We provide a new approach to this long-standing problem by…
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…
We develop a new method, based on non-vanishing of second cohomology groups, for proving the failure of lifting properties for full C$^*$-algebras of countable groups with (relative) property (T). We derive that the full C$^*$-algebras of…
We introduce the blockwise gluing construction. This describes residuated integral chains which can be decomposed into (possibly) partial algebras, stacked one on top of the other, and such that elements in a certain component multiply in…
We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…
In this paper, we employ operator system techniques to investigate structural properties of C*-algebras. In particular, we provide more direct proofs of results concerning exactness and the local lifting property (LLP) of group…
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces, in order to exhibit a relational Priestley-like duality…
It is known that by using the commutator operation, for each congruence modular algebra $A$ one can define a notion of prime congruence. The set $Spec(A)$ of prime congruences of $A$ is endowed with a Zariski style topology. The…
The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a…
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…
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 give a new, somewhat simpler, presentation of the author's recent construction of a non-nuclear $C^*$-algebra which has both the local lifting property (LLP) and the weak expectation property (WEP).
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
Learning from Label Proportion (LLP) is a weakly supervised learning scenario in which training data is organized into predefined bags of instances, disclosing only the class label proportions per bag. This paradigm is essential for user…
Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…
In this paper, we extend properties Going Up and Lying Over from ring theory to the general setting of congruence--modular equational classes, using the notion of prime congruence defined through the commutator. We show how these two…
In this paper we define, inspired by ring theory, the class of maximal residuated lattices with lifting Boolean center and prove a structure theorem for them: any maximal residuated lattice with lifting Boolean center is isomorphic to a…
We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces…
In this short note, we show that the B-C property characterizes arithmetic lattices along all nonuniform lattices in ${\mathrm{PSL}}(2,\mathbb{C})$.