Alessandro Linzi

collaborators

4 papers

math.CT2026

Valued Mosaics

Alessandro Linzi

Nakamura--Reyes showed that the category of commutative mosaics---unital reversible hypermagmas, without associativity---is complete, cocomplete, and has free objects, in contrast…

math.RA2026

Finite-field Krasner quotients: isomorphism thresholds, characteristics, and censuses

Alessandro Linzi

We study Krasner quotient hyperfields arising from finite fields, $F_{q} / G_{r}$ , where $G_{r} \leq F_{q}^{\times}$ has index $r$ . Building on the structure theorem of Baker--Jin, we determine…

cs.LO2025

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL

Alessandro Linzi

We present a complete formalization in Isabelle/HOL of the object part of an equivalence between L-mosaics and bounded join-semilattices, employing an AI-assisted methodology that…

math.CT2025

L-mosaics and orthomodular lattices

NicolÃ² Cangiotti, Alessandro Linzi, Enrico Talotti

In this paper, we introduce a class of hypercompositional structures called dualizable L-mosaics. We prove that their category is equivalent to that formed by ortholattices and we…