QUASI FINITELY AXIOMATIZABLE TOTALLY CATEGORICAL THEORIES

被引：0

|

作者：

AHLBRANDT, G

ZIEGLER, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：296 / 296

页数：1

相关论文

共 50 条

[41] On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
Kostrzycka, Zofia
JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1199 - 1205
[42] INDEPENDENTLY AXIOMATIZABLE Lω1,ω THEORIES
Hjorth, Greg
Souldatos, Ioannis A.
JOURNAL OF SYMBOLIC LOGIC, 2009, 74 (04) : 1273 - 1286
[43] SEQUENCE OF DECIDABLE FINITELY AXIOMATIZABLE INTERMEDIATE LOGICS WITH DISJUNCTION PROPERTY
GABBAY, DM
DEJONGH, DHJ
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 67 - 78
[44] THE ELEMENTARY THEORY OF DIVISIBILITY OF NATURAL-NUMBERS IS FINITELY AXIOMATIZABLE
CEGIELSKI, P
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1984, 299 (09): : 367 - 369
[45] Correction to: The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Joël Adler
Algebra universalis, 2018, 79
[46] The class of algebraically closed p-semilattices is finitely axiomatizable
Adler, Joel
Rupp, Regula
Schmid, Juerg
ALGEBRA UNIVERSALIS, 2013, 70 (03) : 287 - 308
[47] The class of algebraically closed p-semilattices is finitely axiomatizable
Joël Adler
Regula Rupp
Jürg Schmid
Algebra universalis, 2013, 70 : 287 - 308
[48] TOTALLY CATEGORICAL STRUCTURES
HRUSHOVSKI, E
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1989, 313 (01) : 131 - 159
[49] ALL FINITELY AXIOMATIZABLE NORMAL EXTENSIONS OF K4.3 ARE DECIDABLE
ZAKHARYASCHEV, M
ALEKSEEV, A
MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (01) : 15 - 23
[50] FINITELY AXIOMATIZABLE PROPERTIES IN A 1ST-ORDER PREDICATE CALCULUS
MUNRO, DP
AMERICAN MATHEMATICAL MONTHLY, 1978, 85 (10): : 831 - 832

← 1 2 3 4 5 →