Classifying NO-Categorical theories II: The existence of finitely axiomatizable proper class II theories

被引:0
|
作者
Weaver G. [1 ]
Lippel D. [2 ]
机构
[1] Department, of Philosophy, Bryn Mawr College, Bryn Mawr
[2] Department of Mathematics, University of California, Berkeley
关键词
Boolean algebra;
D O I
10.1023/A:1005016100411
中图分类号
学科分类号
摘要
Clark and Krauss [1977] presents a classification of complete, satisfiable and No-categorical theories in first order languages with finite non-logical vocabularies. In 1988 the first author modified this classification and raised three questions about the distribution of finitely axiomatizable theories. This paper answers two of those questions. ©1998 Kluwer Academic Publishers.,.
引用
收藏
页码:275 / 297
页数:22
相关论文
共 50 条