Dependence Logic in Pregeometries and ω-Stable Theories
| Authors |
|
|---|---|
| Publication date | 03-2016 |
| Journal | Journal of Symbolic Logic |
| Volume | Issue number | 81 | 1 |
| Pages (from-to) | 32-55 |
| Organisations |
|
| 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. |
| Document type | Article |
| Note | © The Association for Symbolic Logic 2016 |
| Language | English |
| Published at | https://doi.org/10.1017/jsl.2015.16 |
| Downloads |
dependence_logic_in_pregeometries_and_stable_theories
(Final published version)
|
| Permalink to this page | |