UNDECIDABLE NO-CATEGORICAL THEORIES

被引：0

|

作者：

ASH, CJ

机构：

来源：

NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1971年 / 18卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：423 / &

相关论文

共 50 条

[1] Classifying NO-Categorical theories II: The existence of finitely axiomatizable proper class II theories
Weaver G.
Lippel D.
Studia Logica, 1998, 60 (2) : 275 - 297
[2] UNDECIDABLE THEORIES - TARSKI,A
BERNAYS, P
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1959, 9 (36): : 321 - 327
[3] Undecidable fragments of elementary theories
Nies, A
ALGEBRA UNIVERSALIS, 1996, 35 (01) : 8 - 33
[4] Undecidable theories of Lyndon algebras
Stebletsova, V
Venema, Y
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 207 - 224
[5] TARSKI,ALFRED AND UNDECIDABLE THEORIES
MCNULTY, GF
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 890 - 898
[6] UNDECIDABLE PROPERTIES OF SYNTACTIC THEORIES
KLAY, F
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 136 - 149
[7] There are no minimal essentially undecidable theories
Murwanashyaka, Juvenal
Pakhomov, Fedor
Visser, Albert
JOURNAL OF LOGIC AND COMPUTATION, 2023, 34 (06) : 1159 - 1171
[8] Weak theories of concatenation and minimal essentially undecidable theories
Higuchi, Kojiro
Horihata, Yoshihiro
ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8): : 835 - 853
[9] Grid structures and undecidable constraint theories
Seynhaeve, F
Tison, S
Tommasi, M
Treinen, R
THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 453 - 490
[10] UNDECIDABLE THEORIES IN STATIONARY-LOGIC
SEESE, D
TUSCHIK, P
WEESE, M
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1982, 84 (04) : 563 - 567

← 1 2 3 4 5 →