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
下载
关闭预览

相关内容

【论文笔记】通俗理解少样本文本分类 (Few-Shot Text Classification) (1)
深度学习自然语言处理
7+阅读 · 2020年4月8日
Hierarchically Structured Meta-learning
CreateAMind
27+阅读 · 2019年5月22日
Transferring Knowledge across Learning Processes
CreateAMind
29+阅读 · 2019年5月18日
论文浅尝 | 区分概念和实例的知识图谱嵌入方法
开放知识图谱
17+阅读 · 2019年1月19日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
17+阅读 · 2018年12月24日
跨越注意力:Cross-Attention
我爱读PAMI
172+阅读 · 2018年6月2日
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Arxiv
0+阅读 · 2021年6月13日
Arxiv
0+阅读 · 2021年6月12日
Arxiv
0+阅读 · 2021年4月17日
Arxiv
0+阅读 · 2021年4月2日
Arxiv
24+阅读 · 2017年3月9日
VIP会员
相关VIP内容
相关论文
Arxiv
0+阅读 · 2021年6月13日
Arxiv
0+阅读 · 2021年6月12日
Arxiv
0+阅读 · 2021年4月17日
Arxiv
0+阅读 · 2021年4月2日
Arxiv
24+阅读 · 2017年3月9日
Top
微信扫码咨询专知VIP会员