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 条

[41] A NEW COMBINATION OF INPUT AND UNIT DEDUCTIONS FOR HORN SENTENCES
YAMASAKI, S
YOSHIDA, M
DOSHITA, S
HIRATA, M
INFORMATION PROCESSING LETTERS, 1984, 18 (04) : 209 - 213
[42] Observation Sentences And Joint Attention
Johan Modée
Synthese, 2000, 124 : 221 - 238
[43] UNIVERSAL SENTENCES, RUSSELL, WITTGENSTEIN, PRIOR, AND THE NYAYA
SHAW, JL
JOURNAL OF INDIAN PHILOSOPHY, 1991, 19 (02) : 103 - 119
[44] UNIVERSAL SENTENCES PRESERVED UNDER CERTAIN EXTENSIONS
FUJIWARA, T
PROCEEDINGS OF THE JAPAN ACADEMY, 1975, 51 (01): : 29 - 33
[45] RELATIVE UNIVERSAL EMBEDDING SPACES
URY, L
ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1976, 28 (1-2): : 181 - 188
[46] A neural graph embedding approach for selecting review sentences
Pourgholamali, Fatemeh
Kahani, Mohsen
Bagheri, Ebrahim
ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2020, 40
[47] TORSION AND UNIVERSAL HORN CLASSES OF MODULES
PREST, M
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1979, 19 (JUN): : 411 - 416
[48] MODEL COMPLETE UNIVERSAL HORN CLASSES
BALDWIN, JT
GIVANT, S
ALGEBRA UNIVERSALIS, 1983, 17 (01) : 110 - 119
[49] COUNTING MODELS IN UNIVERSAL HORN CLASSES
BALDWIN, JT
MCKENZIE, RN
ALGEBRA UNIVERSALIS, 1982, 15 (03) : 359 - 384
[50] UNIVERSAL HORN CLASSES CATEGORICAL IN POWER
BALDWIN, JT
LACHLAN, AH
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (07): : A765 - A765

← 1 2 3 4 5 →