From the 1 of 5 linked papers with an AI index.
5 papers
-abstract elementary classes of modules
Roberto Carnevale, Gianluca Paolini
The paper establishes new stability and tameness results for μ‑abstract elementary classes of modules, showing that under suitable syntactic and amalgamation conditions these class…
The Construction Principle and superstability of free objects in varieties of algebras
Tapani Hyttinen, Gianluca Paolini, Davide Emilio Quadrellaro
We investigate the relationship between the Eklof-Mekler-Shelah Construction Principle for a variety of algebras and the question of superstability of the free objects…
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…
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…
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…