UNDECIDABLE THEORIES IN STATIONARY-LOGIC

被引：0

|

作者：

SEESE, D

TUSCHIK, P

WEESE, M

机构：

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 1982年 / 84卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：563 / 567

页数：5

相关论文

共 50 条

[31] Weak essentially undecidable theories of concatenation
Juvenal Murwanashyaka
Archive for Mathematical Logic, 2022, 61 : 939 - 976
[32] Derrida and Formal Logic: Formalising the Undecidable
Livingston, Paul
DERRIDA TODAY, 2010, 3 (02) : 221 - 239
[33] UNDECIDABLE THEORIES OF VALUATED ABELIAN-GROUPS
SCHMITT, PH
BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE, 1984, 112 (03): : 67 - 76
[34] The Satisfiability of Word Equations: Decidable and Undecidable Theories
Day, Joel D.
Ganesh, Vijay
He, Paul
Manea, Florin
Nowotka, Dirk
REACHABILITY PROBLEMS (RP 2018), 2018, 11123 : 15 - 29
[35] MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
Damnjanovic, Zlatan
JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1374 - 1395
[36] ITERATED DISCRIMINATOR VARIETIES HAVE UNDECIDABLE THEORIES
BURRIS, S
ALGEBRA UNIVERSALIS, 1985, 21 (01) : 54 - 61
[37] UNDECIDABLE OPTIMIZATION PROBLEMS FOR DATABASE LOGIC PROGRAMS
GAIFMAN, H
MAIRSON, H
SAGIV, Y
VARDI, MY
JOURNAL OF THE ACM, 1993, 40 (03) : 683 - 713
[38] On Interpretability Between Some Weak Essentially Undecidable Theories
Kristiansen, Lars
Murwanashyaka, Juvenal
BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 63 - 74
[39] UNDECIDABLE LT THEORIES OF TOPOLOGICAL ABELIAN-GROUPS
CHERLIN, GL
SCHMITT, PH
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (04) : 761 - 772
[40] UNDECIDABLE FIRST-ORDER THEORIES OF AFFINE GEOMETRIES
Kuusisto, Antti
Meyers, Jeremy
Virtema, Jonni
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)

← 1 2 3 4 5 →