You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Atomless Varieties
Contributor:
Venema, Yde
imprint:
The Association for Symbolic Logic, Inc., 2003
Published in:The Journal of Symbolic Logic
Language:
English
ISSN:
0022-4812
Origination:
Footnote:
Description:
<p>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.</p>