PP-2002-11: Venema, Yde (2002) Atomless Varieties. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
PP-2002-11.text.ps.gz Download (60kB) |
Preview |
Text (Full Text (PDF))
PP-2002-11.text.pdf Download (190kB) | Preview |
|
Text (Abstract)
PP-2002-11.abstract.txt Download (419B) |
Abstract
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.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2002-11 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2002 |
| Uncontrolled Keywords: | Boolean algebras with operators, atoms, modal logic, incompleteness |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/75 |
Actions (login required)
 |
View Item |
