1 citations · 1 across the 2 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Surreal limits
Paolo Lipparini, István Mezö
We note that if a sequence of real numbers converges to some limit, then the sequence of the corresponding strings in the surreal sign expansion representation converges, for…
math.LO2026★ 1 cited
Hypercontact semilattices
Paolo Lipparini
Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a con…
math.LO2025
Ivanova contact join-semilattices are not finitely axiomatizable
Paolo Lipparini
We show that the class of Contact join-semilattices, as introduced by T. Ivanova, is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the cl…