BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Vincenzo Marra

Vincenzo Marra appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.GNLogic in Computer Sciencemath.RAmath.CTmath.GRmath.FADiscrete Mathematicsmath.GTmath.OAmath.SP

Catalog footprint

What is connected

15works
11topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2020arXiv

Orders on groups, and spectral spaces of lattice-groups

Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, and spectral spaces of free lattice-ordered groups, on the other. The aim of the theory is to pave the way for further fruitful interactions between the study of right orders on groups and that of lattice-groups. Special attention is paid to the important case of orders on groups.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The two-sorted algebraic theory of states, and the universal states of MV-algebras

We introduce a two-sorted algebraic theory whose models are states of MV-algebras and, to within a categorical equivalence that extends Mundici's well-known one, states of Abelian lattice-groups with (strong order) unit. We discuss free states, and their relation to the universal state of an~MV-algebra. We clarify the relationship of such universal states with the theory of affine representations of lattice-groups. Main result: The universal state of any locally finite MV-algebra---in particular, of any Boolean algebra---has semisimple codomain.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra

We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit as a (non-separating) lattice-group of real valued continuous functions on an appropriate $G$-indexed zero-dimensional compactification $w_GZ_G$ of its space $Z_G$ of \emph{minimal} prime ideals. The two further ingredients needed to establish this representation are the Yosida representation of $G$ on its space $X_G$ of \emph{maximal} ideals, and the well-known continuous surjection of $Z_G$ onto $X_G$. We then establish our main result by showing that the inclusion-minimal extension of this representation of $G$ that separates the points of $Z_G$ - namely, the sublattice subgroup of ${\rm C}\,(Z_G)$ generated by the image of $G$ along with all characteristic functions of clopen (closed and open) subsets of $Z_G$ which are determined by elements of $G$ - is precisely the classical projectable hull of $G$. Our main result thus reveals a fundamental relationship between projectable hulls and minimal spectra, and provides the most direct and explicit construction of projectable hulls to date. Our techniques do require the presence of a strong unit.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

An Analysis of Ruspini Partitions in Gödel Logic

By a Ruspini partition we mean a finite family of fuzzy sets $\{f_1, \ldots, f_n\}$, $f_i : [0,1] \to [0,1]$, such that $\sum_{i=1}^n f_i(x)=1$ for all $x \in [0,1]$, where $[0,1]$ denotes the real unit interval. We analyze such partitions in the language of Gödel logic. Our first main result identifies the precise degree to which the Ruspini condition is expressible in this language, and yields inter alia a constructive procedure to axiomatize a given Ruspini partition by a theory in Gödel logic. Our second main result extends this analysis to Ruspini partitions fulfilling the natural additional condition that each $f_i$ has at most one left and one right neighbour, meaning that $\min_{x \in [0,1]}{\{f_{i_1}(x),f_{i_2}(x),f_{i_3}(x)\}}=0$ holds for $i_1\neq i_2\neq i_3$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Valuations in Gödel Logic, and the Euler Characteristic

Using the lattice-theoretic version of the Euler characteristic introduced by V. Klee and G.-C. Rota in the Sixties, we define the Euler characteristic of a formula in Gödel logic (over finitely or infinitely many truth-values). We then prove that the information encoded by the Euler characteristic is classical, i.e. coincides with the analogous notion defined over Boolean logic. Building on this, we define many-valued versions of the Euler characteristic of a formula $φ$, and prove that they indeed provide information about the logical status of $φ$ in Gödel logic. Specifically, our first main result shows that the many-valued Euler characteristics are invariants that separate many-valued tautologies from non-tautologies. Further, we offer an initial investigation of the linear structure of these generalised characteristics. Our second main result is that the collection of many-valued characteristics forms a linearly independent set in the real vector space of all valuations of Gödel logic over finitely many propositional variables.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces

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 algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space $X$ and a totally ordered algebra $A$, we introduce the concept of a finitely valued normal function $f:X\to A$. We show that the operations of $A$ lift to the set $FN(X,A)$ of all finitely valued normal functions, and that there is a canonical proximity relation $\prec$ on $FN(X,A)$. This gives rise to the de Vries power construction, which when restricted to Stone spaces, yields the Boolean power construction. We prove that de Vries powers of a totally ordered integral domain $A$ are axiomatized as proximity Baer Specker $A$-algebras, those pairs $(S,\prec)$, where $S$ is a torsion-free $A$-algebra generated by its idempotents that is a Baer ring, and $\prec$ is a proximity relation on $S$. We introduce the category of proximity Baer Specker $A$-algebras and proximity morphisms between them, and prove that this category is dually equivalent to the category of compact Hausdorff spaces and continuous maps. This provides an analogue of de Vries duality for proximity Baer Specker $A$-algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Idempotent generated algebras and Boolean powers of commutative rings

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 combination of orthogonal idempotents so that the sum of the idempotents is 1 and their coefficients are distinct. In order to formalize this decomposition property, we introduce the concept of a Specker R-algebra, and we prove that the Boolean powers of R are up to isomorphism precisely the Specker R-algebras. We also show that these algebras are characterized in terms of a functorial construction having roots in the work of Bergman and Rota. When R is indecomposable, we prove that S is a Specker R-algebra iff S is a projective R-module, thus strengthening a theorem of Bergman, and when R is a domain, we show that S is a Specker R-algebra iff S is a torsion-free R-module. For an indecomposable R, we prove that the category of Specker R-algebras is equivalent to the category of Boolean algebras, and hence is dually equivalent to the category of Stone spaces. In addition, when R is a domain, we show that the category of Baer Specker R-algebras is equivalent to the category of complete Boolean algebras, and hence is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. For a totally ordered R, we prove that there is a unique partial order on a Specker R-algebra S for which it is an f-algebra over R, and show that S is equivalent to the R-algebra of piecewise constant continuous functions from a Stone space X to R equipped with the interval topology.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

MV-algebras freely generated by finite Kleene algebras

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 homomorphisms. This functor U always has a left adjoint F: W->V by general considerations. One calls F(B) the V-algebra freely generated by the W-algebra B. Two problems arise naturally in this broad setting. The description problem is to describe the structure of the V-algebra F(B) as explicitly as possible in terms of the structure of the W-algebra B. The recognition problem is to find conditions on the structure of a given V-algebra A that are necessary and sufficient for the existence of a W-algebra B such that F(B) is isomorphic to A. Building on and extending previous work on MV-algebras freely generated by finite distributive lattices, in this paper we provide solutions to the description and recognition problems in case V is the variety of MV-algebras, W is the variety of Kleene algebras, and B is finitely generated--equivalently, finite. The proofs rely heavily on the Davey-Werner natural duality for Kleene algebras, on the representation of finitely presented MV-algebras by compact rational polyhedra, and on the theory of bases of MV-algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Chinese Remainder Theorem for strongly semisimple MV-algebras and lattice-groups

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 are semisimple. All MV-algebras satisfy a Chinese Reminder Theorem, as was first shown by Keimel four decades ago in the context of lattice-groups. In this note we prove that the Chinese Remainder Theorem admits a considerable strengthening for strongly semisimple structures.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The problem of artificial precision in theories of vagueness: a note on the role of maximal consistency

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 sufficiently specified circumstances, a predication of "is red" receives a unique, exact number from the real unit interval [0,1]. You should then be committed to explain what is it that determines that value, settling for instance that my coat is red to degree 0.322 rather than 0.321. In this note I revisit the problem in the important case of Łukasiewicz infinite-valued propositional logic that brings to the foreground the role of maximally consistent theories. I argue that the problem of artificial precision, as commonly conceived of in the literature, actually conflates two distinct problems of a very different nature.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Two isomorphism criteria for directed colimits

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 sequences of finitely presentable objects and morphisms (or two sequences of finitely generated objects and monomorphisms) have isomorphic colimits (=direct limits) if, and only if, they are confluent. The latter means that the two given sequences can be connected by a back-and-forth chain of morphisms that is cofinal on each side, and commutes with the sequences at each finite stage. In several concrete situations, analogous isomorphism criteria are typically obtained by ad hoc arguments. The abstract results given here can play the useful rôle of discerning the general from the specific in situations of actual interest. We illustrate by applying them to varieties of algebras, on the one hand, and to dimension groups---the ordered $K_0$ of approximately finite-dimensional C*-algebras---on the other. The first application encompasses such classical examples as Kurosh's isomorphism criterion for countable torsion-free Abelian groups of finite rank. The second application yields the Bratteli-Elliott Isomorphism Criterion for dimension groups. Finally, we discuss Bratteli's original isomorphism criterion for approximately finite-dimensional C*-algebras, and show that his result does not follow from ours.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Two principles in many-valued logic

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, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr Hájek that is complete with respect to a subalgebra of truth values of a BL-algebra given by a continuous triangular norm on [0, 1]. Abstracting the two foregoing properties from classical logic leads us to two principles that a real-valued logic may or may not satisfy. We prove that the two principles are sufficient to characterise Łukasiewicz and Gödel logic, to within extensions. We also prove that, under the additional assumption that the set of truth values be closed in the Euclidean topology of [0,1], the two principles also afford a characterisation of Product logic.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Unital hyperarchimedean vector lattices

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, via the Yosida representation, such a vector lattice is naturally isomorphic to the vector lattice of all locally constant real-valued continuous functions on a Boolean (=compact Hausdorff totally disconnected) space. We give two applications of our main result.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic

Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Łukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy sets, a mild weakening of the standard notion of triangular basis. En route to our main result we obtain an elementary, logic-independent characterisation of triangular bases of fuzzy sets.

0 citations0 reviewsNo code linkedOpen access