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 条

[1] UNDECIDABILITY OF INTUITIONISTIC THEORIES
BRIERLY, W
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 311 - 311
[2] GENERIC UNDECIDABILITY OF UNIVERSAL THEORIES
Rybalov, Alexander Nikolaevich
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2019, 16 : 1289 - 1294
[3] Complexity and undecidability in mathematical theories
A. M. Gupal
S. V. Pashko
I. V. Sergienko
Cybernetics and Systems Analysis, 1997, 33 : 307 - 309
[4] Complexity and undecidability in mathematical theories
Gupal, AM
Pashko, SV
Sergienko, IV
CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (03) : 307 - 309
[5] UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES
Kach, Asher M.
Montalban, Antonio
JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (04) : 1001 - 1019
[6] UNDECIDABILITY OF THEORIES OF GROUPOIDS WITH AN EXTRA PREDICATE
GARFUNKEL, S
SCHMERL, JH
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 42 (01) : 286 - 289
[7] EFFECTIVELY RETRACTABLE THEORIES AND DEGREES OF UNDECIDABILITY
JONES, JP
JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (04) : 597 - &
[8] DECIDABILITY AND UNDECIDABILITY OF THEORIES WITH A PREDICATE FOR THE PRIMES
BATEMAN, PT
JOCKUSCH, CG
WOODS, AR
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) : 672 - 687
[9] EFFECTIVELY RETRACTABLE THEORIES AND DEGREES OF UNDECIDABILITY
JONES, JP
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 322 - &
[10] On Undecidability of Subset Theories of Some Unars
Karlov, B. N.
DOKLADY MATHEMATICS, 2024, 109 (02) : 112 - 116

← 1 2 3 4 5 →