6 citations · 11 across the 9 of their papers we have counts for
10 papers
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…
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…
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…
Varieties of strictly n-generated Heyting algebras
Tapani Hyttinen, Davide Emilio Quadrellaro
For any we construct an infinite Heyting algebra which is -generated but that contains only finite -generated subalgebras. From this we conclude that for ever…
Esakia Duals of Regular Heyting Algebras
Gianluca Grilletti, Davide Emilio Quadrellaro
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and…
Compactness in Team Semantics
Joni Puljujärvi, Davide Emilio Quadrellaro
We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon Lück's ultraproduct construction for team semanti…
On Intermediate Inquisitive and Dependence Logics: An Algebraic Study
Davide Emilio Quadrellaro
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an a…
Lattices of Intermediate Theories via Ruitenburg's Theorem
Gianluca Grilletti, Davide Emilio Quadrellaro
For every univariate formula we introduce a lattices of intermediate theories: the lattice of -logics. The key idea to define chi-logics is to interpret atomic propositions…