UNDECIDABILITY OF SOME INTUTITIONISTIC THEORIES OF EQUALITY AND ORDER

被引：0

|

作者：

SMORYNSKI, C

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1971年 / 36卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：587 / +

页数：1

相关论文

共 50 条

[1] On Undecidability of Subset Theories of Some Unars
Karlov, B. N.
DOKLADY MATHEMATICS, 2024, 109 (02) : 112 - 116
[2] HEREDITARY UNDECIDABILITY OF SOME THEORIES OF FINITE STRUCTURES
WILLARD, R
JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (04) : 1254 - 1262
[3] UNDECIDABILITY OF SOME ELEMENTARY THEORIES OVER PAC FIELDS
CHERLIN, G
JARDEN, M
ANNALS OF PURE AND APPLIED LOGIC, 1986, 30 (02) : 137 - 163
[4] DECIDABILITY OR UNDECIDABILITY OF SOME THEORIES OF MEASURE-SPACES
TULIPANI, S
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 707
[5] UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS
Kharlampovich, Olga
Myasnikov, Alexei
JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (03) : 1204 - 1216
[6] Undecidability of Equality for Codata Types
Berger, Ulrich
Setzer, Anton
COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2018), 2018, 11202 : 34 - 55
[7] UNDECIDABILITY OF INTUITIONISTIC THEORIES
BRIERLY, W
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 311 - 311
[8] A NEW METHOD FOR UNDECIDABILITY PROOFS OF 1ST ORDER THEORIES
TREINEN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 48 - 62
[9] A NEW METHOD FOR UNDECIDABILITY PROOFS OF 1ST ORDER THEORIES
TREINEN, R
JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (05) : 437 - 457
[10] GENERIC UNDECIDABILITY OF UNIVERSAL THEORIES
Rybalov, Alexander Nikolaevich
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2019, 16 : 1289 - 1294

← 1 2 3 4 5 →