6 citations · 11 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
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…
math.LO2024
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…