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 条

[31] L(t)-Horn sentences and reduced products
Kurilic, MS
Grulovic, MZ
PUBLICATIONES MATHEMATICAE-DEBRECEN, 1996, 48 (1-2): : 175 - 190
[32] EMBEDDING PROPERTY
SABBAGH, G
MATHEMATISCHE ZEITSCHRIFT, 1971, 121 (03) : 239 - &
[33] MODELING UNIVERSAL RELATIONSHIPS IN PASSIVE SENTENCES
LUTHY, MJ
ROCKY MOUNTAIN REVIEW OF LANGUAGE AND LITERATURE, 1978, 32 (03): : 161 - 162
[34] First-order sentences in random groups I: Universal sentences
Kharlampovich, Olga
Sklinos, Rizos
JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2024, 2024 (815): : 173 - 227
[35] FORCING WITH UNIVERSAL SENTENCES AND INITIAL MODELS
NOURANI, CF
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1444 - 1444
[36] Intonation Phrase formation in sentences with clausal embedding
Schuboe, Fabian
JOURNAL OF COMPARATIVE GERMANIC LINGUISTICS, 2020, 23 (02): : 161 - 201
[37] Detecting Similar Sentences Using Word Embedding
Arabaci, Mehmet Ali
Esen, Ersin
Atar, Muhammed Selim
Yilmaz, Eyup
Kaltalioglu, Batuhan
2018 26TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE (SIU), 2018,
[38] Intonation Phrase formation in sentences with clausal embedding
Fabian Schubö
The Journal of Comparative Germanic Linguistics, 2020, 23 : 161 - 201
[39] A FIXPOINT SEMANTICS OF HORN SENTENCES BASED ON SUBSTITUTION SETS
YAMASAKI, S
YOSHIDA, M
DOSHITA, S
THEORETICAL COMPUTER SCIENCE, 1987, 51 (03) : 309 - 324
[40] Observation sentences and joint attention
Modée, J
SYNTHESE, 2000, 124 (02) : 221 - 238

← 1 2 3 4 5 →