Independence logic and abstract independence relations (Q5258482): Difference between revisions

@@ Property / cites work @@
+A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
+Normal rank
@@ Property / cites work @@
+First-order theories of abstract dependence relations
+Normal rank
@@ Property / cites work @@
+Axioms and algorithms for inferences involving probabilistic independence
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence relation in pregeometries
@@ Property / cites work: Dependence relation in pregeometries / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of implications between embedded multivalued database dependencies
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies''
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Independence in finitary abstract elementary classes
+Normal rank
@@ Property / cites work @@
+Forking in Simple Unstable Theories
@@ Property / cites work: Forking in Simple Unstable Theories / rank @@
+Normal rank
@@ Property / cites work @@
+DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES
+Normal rank
@@ Property / cites work @@
+Definable Sets in Ordered Structures. I
@@ Property / cites work: Definable Sets in Ordered Structures. I / rank @@
+Normal rank