On freedom and independence in hypergraphs of models of theories

2018/02/22 by Kulpeshov, Beibut, Sudoplatov, Sergey
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1802.08094

Abstract

Notions of freedom and independence for hypergraphs of models of a theory are defined. Properties of these notions and their applications to some natural classes of theories are studied.

Related

• On relative separability in hypergraphs of models of theories
• Axiomatic Theory of Independence Relations in Model Theory
• On structures in hypergraphs of models of a theory
• Dependence Logic in Pregeometries and ω-Stable Theories
• Explanation of Independence