3 papers
math.LO2025
Borel completeness of Tits buildings with no rank 3 residues of spherical type
Gianluca Paolini, Davide Emilio Quadrellaro
We prove that, for every Coxeter diagram with no rank residues of spherical type and such that has not only edges labelled by , the space of countable (Tits) buildin…
math.LO2025
Elementary properties of free lattices III: Undecidability of the full theory
J. B. Nation, Gianluca Paolini
In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) fr…
math.LO2025
Elementary properties of free lattices II: Decidability of the universal theory
J. B. Nation, Gianluca Paolini
We continue our work on the model theory of free lattices, solving two of the main open problems from our first paper on the subject. Our main result is that the universal (existen…