29 citations · 43 across the 29 of their papers we have counts for
Showing 2020 · math.LOShow all
2 papers · 2 filters
math.LO2020
Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures
Gianluca Paolini
We prove that every quasi-Hopfian finitely presented structure has a - Scott sentence, and that if in addition is computable and satisfies a natural comput…
math.LO2020
First-Order Aspects of Coxeter Groups
Bernhard Muhlherr, Gianluca Paolini, Saharon Shelah
We lay the foundations of the first-order model theory of Coxeter groups. Firstly, with the exception of the -spherical non-affine case (which we leave open), we characterize th…