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 条

[31] Not Every "Tabular" Predicate Logic is Finitely Axiomatizable
Dmitrij Skvortsov
Studia Logica, 1997, 59 (3) : 387 - 396
[32] NONFINITELY AXIOMATIZABLE THEORIES OF GRAPHS
HERRE, H
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A503 - A504
[33] INCOMPLETENESS OF BOUNDEDLY AXIOMATIZABLE THEORIES
Enayat, Ali
Visser, Albert
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2024,
[34] Ivanova contact join-semilattices are not finitely axiomatizable
Lipparini, Paolo
LOGIC JOURNAL OF THE IGPL, 2025,
[35] COMPLETE ALEPH-O-CATEGORICAL AND NOT FINITELY MODEL-COMPLETE THEORIES
PAILLET, JL
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 286 (24): : 1167 - 1170
[36] THE CLASS OF ALL S-PREGROUPS IS NOT FINITELY AXIOMATIZABLE
DEKOV, DV
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1992, 115 (04) : 895 - 897
[37] The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Adler, Joel
ALGEBRA UNIVERSALIS, 2014, 72 (03) : 231 - 250
[38] The class of all embeddable semigroup amalgams is not finitely axiomatizable
Dekov, DV
JOURNAL OF PURE AND APPLIED ALGEBRA, 1998, 125 (1-3) : 135 - 139
[39] The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable
Joël Adler
Algebra universalis, 2014, 72 : 231 - 250
[40] EQUATIONAL THEORY OF POSITIVE NUMBERS WITH EXPONENTIATION IS NOT FINITELY AXIOMATIZABLE
GUREVIC, R
ANNALS OF PURE AND APPLIED LOGIC, 1990, 49 (01) : 1 - 30

← 1 2 3 4 5 →