27 citations · 86 across the 17 of their papers we have counts for
9 papers · 1 filter
Two isomorphism criteria for directed colimits
Vincenzo Marra, Luca Spada
Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequenc…
De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces
Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi +1
We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebra…
Two principles in many-valued logic
Stefano Aguzzoli, Vincenzo Marra
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, th…
Unital hyperarchimedean vector lattices
Richard N. Ball, Vincenzo Marra
We prove that the category of unital hyperarchimedean vector lattices is equivalent to the category of Boolean algebras. The key result needed to establish the equivalence is that,…
The problem of artificial precision in theories of vagueness: a note on the role of maximal consistency
Vincenzo Marra
The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficie…
The Chinese Remainder Theorem for strongly semisimple MV-algebras and lattice-groups
Vincenzo Marra
An MV-algebra (equivalently, a lattice-ordered Abelian group with a distinguished order unit) is strongly semisimple if all of its quotients modulo finitely generated congruences a…
MV-algebras freely generated by finite Kleene algebras
Stefano Aguzzoli, Leonardo M. Cabrer, Vincenzo Marra
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on h…
Idempotent generated algebras and Boolean powers of commutative rings
Guram Bezhanishvili, Vincenzo Marra, Patrick J. Morandi +1
A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear…
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Mai Gehrke, Samuel J. van Gool, Vincenzo Marra
We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an esse…