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 条

[21] ON THE SPECTRA OF UNIVERSAL RELATIONAL SENTENCES
FRIEDMAN, H
INFORMATION AND CONTROL, 1984, 62 (2-3): : 205 - 209
[22] Kripke submodels and universal sentences
Ellison, Ben
Fleischmann, Jonathan
McGinn, Dan
Ruitenburg, Wim
MATHEMATICAL LOGIC QUARTERLY, 2007, 53 (03) : 311 - 320
[23] UNIVERSAL SENTENCES IN SET THEORY
BOFFA, M
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (02): : 69 - &
[24] Topic Embedding of Sentences for Story Segmentation
Yu, Jia
Xiao, Xiong
Xie, Lei
Chng, Eng Siong
2017 ASIA-PACIFIC SIGNAL AND INFORMATION PROCESSING ASSOCIATION ANNUAL SUMMIT AND CONFERENCE (APSIPA ASC 2017), 2017, : 1552 - 1557
[25] Expressivism and embedding (Problem of evaluative sentences)
Sinnott-Armstrong, W
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 2000, 61 (03) : 677 - 693
[26] Clustering and Network Analysis for the Embedding Spaces of Sentences and Sub-Sentences
An, Yuan
Kalinowski, Alexander
Greenberg, Jane
2021 SECOND INTERNATIONAL CONFERENCE ON INTELLIGENT DATA SCIENCE TECHNOLOGIES AND APPLICATIONS (IDSTA), 2021, : 138 - 145
[27] HORN SENTENCES OF SMALL SIZE IN IDENTITY THEORY
MARONGIU, G
TULIPANI, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (05): : 439 - 444
[28] REDUCED PRODUCTS HORN SENTENCES AND DECISION PROBLEMS
GALVIN, F
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1967, 73 (01) : 59 - &
[29] HORN SENTENCES WITH (W) AND WEAK MALCEV CONDITIONS
CZEDLI, G
DAY, A
ALGEBRA UNIVERSALIS, 1984, 19 (02) : 217 - 230
[30] MALCEV CONDITIONS FOR HORN SENTENCES WITH CONGRUENCE PERMUTABILITY
CZEDLI, G
ACTA MATHEMATICA HUNGARICA, 1984, 44 (1-2) : 115 - 124

← 1 2 3 4 5 →