Universal Horn Sentences and the Joint Embedding Property

被引：0
|
作者：
Bodirsky M. [1 ]
Rydval J. [2 ]
Schrottenloher A. [3 ]
机构：
[1] Institute of Algebra, TU Dresden
[2] Institute of Theoretical Computer Science, TU Dresden
[3] Cryptology Group, CWI, Amsterdam
来源：
Discrete Mathematics and Theoretical Computer Science | 2022年 / 23卷 / 02期
基金：
欧洲研究理事会;
关键词：
Horn; joint embedding property; universal;
D O I：
10.46298/dmtcs.7435
中图分类号：
学科分类号：
摘要：
The finite models of a universal sentence Φ in a finite relational signature are the age of a structure if and only if Φ has the joint embedding property. We prove that the computational problem whether a given universal sentence Φ has the joint embedding property is undecidable, even if Φ is additionally Horn and the signature of Φ only contains relation symbols of arity at most two. © 2022 by the author(s)
引用
收藏
相关论文
共 50 条
12345