Independence in Model Theory and Team Semantics

Author/s: Paolini Gianluca, PhD
Availability: Open Access
Type: Dissertation
Year: 2024
Category: Logic
Institution: University of Helsinki

Abstract: The subject of this doctoral thesis is the mathematical theory of independence, and its various manifestations in logic and mathematics. The topics covered in this doctoral thesis range from model theory and combinatorial geometry, to database theory, quantum logic and probability logic. This study has two intertwined centres: - classification theory, independence calculi and combinatorial geometry (papers I-IV); - new perspectives in team semantics (papers V-VII). The first topic is a classical topic in model theory, which we approach from different directions (implication problems, abstract elementary classes, unstable first-order theories). The second topic is a relatively new logical framework where to study non-classical logical phenomena (dependence and independence, uncertainty, probabilistic reasoning, quantum foundations). Although these two centres seem to be far apart, we will see that they are linked to each others in various ways, under the guiding thread of independence.


Read Online

0
Read

|

5
Citations

Related Resources


A spatial logic is any formal language with geometric interpretation. Research on region-based spatial logics, where variables are set to range over certain subsets of geometric space, have been investigated recently within the qualitative spatial reasoning paradigm in AI. We axiomatised the theory...


The French Revolution's state cults were possible because of French intellectuals' preference for pre-Christian Greco-Roman civilization, as well as France's history of heterodoxy. The philosophes endorsed ancient Greco-Roman civilization as embodying mankind's ideal and more "natural" state;...