前几何与$\omega$-稳定理论中的依赖逻辑
逻辑
2016-03-10 v6
摘要
我们提出了一个研究独立性概念的框架，该框架涵盖了一般语境，并将数据库理论、代数和模型论作为特例。我们表明，用于推导基本原子独立性陈述的著名独立性公理和规则相对于多种语义是完备的。我们的结果表明，独立性概念在数据库理论、代数和模型论等截然不同领域中的用法，完全可以由同一组公理来刻画。我们还考虑了与独立性相关的概念，如依赖性。
引用
@article{arxiv.1310.7719,
title = {Dependence Logic in Pregeometries and $\omega$-Stable Theories},
author = {Gianluca Paolini and Jouko Väänänen},
journal= {arXiv preprint arXiv:1310.7719},
year = {2016}
}