Atomless varieties

被引：5

作者：

Venema, Y ^{[1
]}

机构：

[1] Univ Amsterdam, Inst Log Language & Computat, NL-1018 TV Amsterdam, Netherlands

来源：

JOURNAL OF SYMBOLIC LOGIC | 2003年 / 68卷 / 02期

关键词：

boolean algebras with operators; atoms; modal logic; incompleteness;

D O I：

10.2178/jsl/1052669066

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We define a nontrivial variety of boolean algebras with operators such that every member of the variety is atomless. This shows that not every variety of boolean algebras with operators is generated by its atomic members. and thus establishes a strong incompleteness result in (multi-)modal logic.

引用

页码：607 / 614

页数：8

共 10 条

[1]

Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, V53

[2] Universal classes of simple relation algebras [J].

Givant, S .

JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) :575-589

[3] Persistence and atomic generation for varieties of boolean algebras with operators [J].

Goldblatt R. .

Studia Logica, 2001, 68 (2) :155-171

[4] VARIETIES OF COMPLEX ALGEBRAS [J].

GOLDBLATT, R .

ANNALS OF PURE AND APPLIED LOGIC, 1989, 44 (03) :173-242

[5]

JIPSEN P, 1999, ALGEBRAIC METHODS LO, V28, P239

[6]

KRACHT M, 1998, ADV MODAL LOGIC, V1

[7]

KRACHT M, 2001, B SECTION LOGIC, V30, P71

[8]

RAUSZER C, 1999, ALGEBRAIC METHODS LO, V28

[9]

THOMASON SK, 1974, THEORIA, V40, P30

[10]

Venema Y, 1998, CSLI LECT N, P291

← 1 →