The finite models of a universal sentence $\Phi$ are the age of a structure if and only if $\Phi$ has the joint embedding property. We prove that the computational problem whether a given universal sentence $\Phi$ has the joint embedding property is undecidable, even if $\Phi$ is additionally Horn and the signature is binary.


翻译:通用判决的有限模式$\Phi$是一个结构的时代,如果而且只有$\Phi$拥有共同嵌入的财产。 我们证明,一个特定通用判决$\Phi$是否拥有共同嵌入的财产的计算问题是无法确定的,即使$\Phi$是Horn额外的,签名是二进制。

0
下载
关闭预览

相关内容

Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
18+阅读 · 2018年12月24日
跨越注意力:Cross-Attention
我爱读PAMI
172+阅读 · 2018年6月2日
Arxiv
0+阅读 · 2021年4月17日
Arxiv
0+阅读 · 2021年4月2日
Arxiv
24+阅读 · 2017年3月9日
VIP会员
相关论文
Arxiv
0+阅读 · 2021年4月17日
Arxiv
0+阅读 · 2021年4月2日
Arxiv
24+阅读 · 2017年3月9日
Top
微信扫码咨询专知VIP会员