Scholarlink

This paper studies the representation theorem of functional dependence relation in uniform dependence models, where local and global functional dependence relations coincide. We simplify the construction in the proof provided by Baltag and van Benthem [2] and take a deeper look into the simplified construction. Moreover, we demonstrate the impossibility of representing some disjunctive functional dependence in a uniform dependence model.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Functional Dependence in Uniform Dependence Model

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Chenwei Shi,
  • Wenfei Ouyang

摘要

This paper studies the representation theorem of functional dependence relation in uniform dependence models, where local and global functional dependence relations coincide. We simplify the construction in the proof provided by Baltag and van Benthem [2] and take a deeper look into the simplified construction. Moreover, we demonstrate the impossibility of representing some disjunctive functional dependence in a uniform dependence model.