The Class of Prime Semilattices is Not Finitely Axiomatizable

被引：0

作者：

Keith A. Kearnes

机构：

[1] University of Arkansas,Department of Mathematical Sciences

来源：

Semigroup Forum | 1997年 / 55卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：133 / 134

页数：1

共 50 条

[31] Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
Dmitrij Skvortsov
Studia Logica, 1997, 59 (3) : 387 - 396
[32] CHARACTERIZATIONS FOR PRIME SEMILATTICES
SHUM, KP
CHAN, MW
LAI, CK
SO, KY
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1985, 37 (06): : 1059 - 1073
[33] 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
[34] On the direct products of quasi-finitely axiomatizable groups
Lasserre, Clement
JOURNAL OF GROUP THEORY, 2015, 18 (03) : 435 - 453
[35] EQUATIONAL THEORY OF POSITIVE NUMBERS WITH EXPONENTIATION IS NOT FINITELY AXIOMATIZABLE
GUREVIC, R
ANNALS OF PURE AND APPLIED LOGIC, 1990, 49 (01) : 1 - 30
[36] On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
Kostrzycka, Zofia
JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (06) : 1199 - 1205
[37] 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
[38] SEQUENCE OF DECIDABLE FINITELY AXIOMATIZABLE INTERMEDIATE LOGICS WITH DISJUNCTION PROPERTY
GABBAY, DM
DEJONGH, DHJ
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 67 - 78
[39] PRODUCTS OF FINITELY BASED VARIETIES OF BROUWERIAN SEMILATTICES
ZIMMERMANN, U
KOHLER, P
ALGEBRA UNIVERSALIS, 1984, 18 (01) : 110 - 116
[40] IRREDUCIBLE RESIDUATED SEMILATTICES AND FINITELY BASED VARIETIES
Galatos, Nikolaos
Olson, Jeffrey S.
Raftery, James G.
REPORTS ON MATHEMATICAL LOGIC, NO 43, 2008, (43): : 85 - +

← 1 2 3 4 5 →