5 papers · 1 filter
On the Model Theory of Open Incidence Structures: The Rank 2 Case
Gianluca Paolini, Davide Emilio Quadrellaro
Taking inspiration from [1, 21, 24], we develop a general framework to deal with the model theory of open incidence structures. In this first paper we focus on the study of systems…
On the Model Theory of Second-Order Objects
Tapani Hyttinen, Joni Puljujärvi, Davide Emilio Quadrellaro
Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a…
A New Construction Principle
Tapani Hyttinen, Gianluca Paolini, Davide Emilio Quadrellaro
We use the framework of Abstract Elementary Classes (s) to introduce a new Construction Principle , which generalises the Construction P…
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…
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…