DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES

DOI10.1017/jsl.2015.16zbMath1368.03041arXiv1310.7719OpenAlexW2963301981MaRDI 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

independenceclosure operatormatroidforkingstable theorydependence

Mathematics Subject Classification ID

Database theory (68P15) Other nonclassical logic (03B60) Logic in computer science (03B70) Combinatorial aspects of matroids and geometric lattices (05B35) Classification theory, stability, and related concepts in model theory (03C45)

Related Items (5)

A finite axiomatization of conditional independence and inclusion dependencies ⋮ A finite axiomatization of G-dependence ⋮ A logical approach to context-specific independence ⋮ Grelling on Dependence ⋮ Independence logic and abstract independence relations

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

This page was built for publication: DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES