DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES

DOI10.1017/jsl.2015.16zbMath1368.03041arXiv1310.7719MaRDI QIDQ2805022

Jouko Väänänen, Gianluca Paolini

Publication date: 9 May 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1310.7719

zbMATH Keywords

independence; closure operator; matroid; forking; stable theory; dependence

Mathematics Subject Classification ID

68P15: Database theory

03B60: Other nonclassical logic

03B70: Logic in computer science

05B35: Combinatorial aspects of matroids and geometric lattices

03C45: Classification theory, stability, and related concepts in model theory

Related Items

Independence logic and abstract independence relations, A finite axiomatization of G-dependence, A finite axiomatization of conditional independence and inclusion dependencies

Cites Work

• Unnamed Item
• On definability in dependence logic
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• First-order theories of abstract dependence relations
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence relation in pregeometries
• Dependence and independence
• Separoids: a mathematical framework for conditional independence and irrelevance
• On the undecidability of implications between embedded multivalued database dependencies
• On the Abstract Properties of Linear Dependence