Dependence logic in pregeometries and -stable theories

DOI10.1017/JSL.2015.16MaRDI QIDQ2805022zbMATH OpenOpenAlexFDO

Authors Gianluca Paolini, Jouko Väänänen

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

closure operatordependenceforkingindependencematroidstable theory

Mathematics Subject Classification ID

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

Abstract: We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences concerning basic atomic independence statements are complete with respect to a variety of semantics. Our results show that the uses of independence concepts in as different areas as database theory, algebra and model theory, can be completely characterized by the same axioms. We also consider concepts related to independence, such as dependence.

Recommendations

• On dependence logic
• Independence logic and abstract independence relations
• First-order theories of abstract dependence relations
• scientific article; zbMATH DE number 4003563
• A finite axiomatization of conditional independence and inclusion dependencies

Cites work

• Axioms and algorithms for inferences involving probabilistic independence
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• Dependence and independence
• Dependence relation in pregeometries
• First-order theories of abstract dependence relations
• scientific article; zbMATH DE number 605773 (Why is no real title available?)
• On definability in dependence logic
• On the Abstract Properties of Linear Dependence
• On the undecidability of implications between embedded multivalued database dependencies
• Separoids: a mathematical framework for conditional independence and irrelevance

Cited in

(11)

• First-order theories of abstract dependence relations
• A logical approach to context-specific independence
• A finite axiomatization of G-dependence
• Dependence relation in pregeometries
• General models and entailment semantics for independence logic
• Constructibility and decidability versus domain independence and absoluteness
• A finite axiomatization of conditional independence and inclusion dependencies
• Reduction of database independence to dividing in atomless Boolean algebras
• Grelling on dependence
• Independence in model theory
• Independence logic and abstract independence relations

This page was built for publication: Dependence logic in pregeometries and \(\omega\)-stable theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805022)