PP-2002-11: Atomless Varieties

PP-2002-11: Venema, Yde (2002) Atomless Varieties. [Report]

[img] Text (Full Text (PS))
PP-2002-11.text.ps.gz

Download (60kB)
[img]
Preview
Text (Full Text (PDF))
PP-2002-11.text.pdf

Download (190kB) | Preview
[img] 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 View Item