Undecidability in the weak membership theories

被引：0

|

作者：

Belle, D ^{[1
]}

Parlamento, F ^{[1
]}

机构：

[1] UNIV UDINE,DIPARTIMENTO MATEMAT & INFORMAT,I-33100 UDINE,ITALY

来源：

LOGIC AND ALGEBRA | 1996年 / 180卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：327 / 337

页数：3

相关论文

共 50 条

[31] On the size of classes with weak membership properties
Zimand, M
THEORETICAL COMPUTER SCIENCE, 1998, 209 (1-2) : 225 - 235
[32] UNDECIDABILITY OF THE SUBMONOID MEMBERSHIP PROBLEM FOR A SUFFICIENTLY LARGE FINITE DIRECT POWER OF THE HEISENBERG GROUP
Roman'kov, V. A.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2023, 20 (01): : 293 - 305
[33] Undecidability in Resource Theory: Can You Tell Resource Theories Apart?
Scandi, Matteo
Surace, Jacopo
PHYSICAL REVIEW LETTERS, 2021, 127 (27)
[34] UNDECIDABILITY OF INTUITIONISTIC THEORIES OF ALGEBRAICALLY CLOSED FIELDS AND REAL CLOSED FIELDS
GABBAY, DM
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (01) : 86 - 92
[35] A NEW METHOD FOR UNDECIDABILITY PROOFS OF 1ST ORDER THEORIES
TREINEN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 48 - 62
[36] A NEW METHOD FOR UNDECIDABILITY PROOFS OF 1ST ORDER THEORIES
TREINEN, R
JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (05) : 437 - 457
[37] The undecidability of the elementary theory of lattices of all equational theories of large signature
George F. McNulty
Algebra universalis, 2019, 80
[38] Weak theories of concatenation and minimal essentially undecidable theories
Higuchi, Kojiro
Horihata, Yoshihiro
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8): : 835 - 853
[39] Weak theories of operations and types
Turner, R
JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (01) : 5 - 31
[40] Weak and strong theories of truth
Sheard M.
Studia Logica, 2001, 68 (1) : 89 - 101

← 1 2 3 4 5 →