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.
The first part of the thesis concerns the existence of model companions of certain unstable theories with automorphisms. Let T be a first-order theory with the strict order property. According to Kikyo and Shelah's theorem, the theory of models of T with a generic automorphism does not have a model...
The nature of the Trinity is a central and salvific doctrine within biblical Christianity. The divine nature of the person of God the Father, Son and Holy Spirit is pertinent to Christian teachings and a proper understanding of God is crucial to authentic worship and belief. Cults or heterodoxic...