Atomless varieties
Venema, Yde
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 607- 614 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2003-06-14
Classification:  
@article{1052669066,
     author = {Venema, Yde},
     title = {Atomless varieties},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 607- 614},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1052669066}
}

Venema, Yde. Atomless varieties. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  607- 614. http://gdmltest.u-ga.fr/item/1052669066/