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 条

[21] UNDECIDABILITY OF SOME ELEMENTARY THEORIES OVER PAC FIELDS
CHERLIN, G
JARDEN, M
ANNALS OF PURE AND APPLIED LOGIC, 1986, 30 (02) : 137 - 163
[22] DECIDABILITY OR UNDECIDABILITY OF SOME THEORIES OF MEASURE-SPACES
TULIPANI, S
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 707
[23] Noncomputability, unpredictability, undecidability, and unsolvability in economic and finance theories
Kao, Ying-Fang
Ragupathy, V.
Velupillai, K. Vela
Zambelli, Stefano
COMPLEXITY, 2012, 18 (01) : 51 - 55
[24] DECIDABILITY, UNDECIDABILITY, AND GODEL'S INCOMPLETENESS IN RELATIVITY THEORIES
Andreka, Hajnal
Madarasz, Judit
Nemeti, Istvan
PARALLEL PROCESSING LETTERS, 2012, 22 (03)
[25] DECIDABILITY AND UNDECIDABILITY OF THEORIES OF ABELIAN-GROUPS WITH PREDICATES FOR SUBGROUPS
BAUR, W
COMPOSITIO MATHEMATICA, 1975, 31 (01) : 23 - 30
[26] UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
Kharlampovich, Olga
Myasnikov, Alexei
JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (03) : 1204 - 1216
[27] GODEL THEOREMS, EXPONENTIAL DIFFICULTY AND UNDECIDABILITY OF ARITHMETIC THEORIES - AN EXPOSITION
YOUNG, P
PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 503 - 522
[28] Undecidability of weak bisimulation equivalence for 1-counter processes
Mayr, R
AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 570 - 583
[29] Decision problems for membership extension theories
Bellè, D
BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1999, 2A : 9 - 12
[30] The undecidability of the elementary theory of lattices of all equational theories of large signature
McNulty, George F.
ALGEBRA UNIVERSALIS, 2019, 80 (03)

← 1 2 3 4 5 →