Independence Logic and Abstract Independence Relations

2014/01/27 by Paolini, Gianluca
#03C45 #03C80 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1401.6907

Abstract

We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.

Related

• Axiomatic Theory of Independence Relations in Model Theory
• Dependence Logic in Pregeometries and ω-Stable Theories
• Simple-like independence relations in abstract elementary classes
• Axiomatizing first-order consequences in independence logic
• Dependence and Independence