Boolean Algebras and Distributive Lattices Treated Constructively (1999)
by
John L. Bell
| Venue: | Mathematical Logic Quarterly 45 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Bell99booleanalgebras,
author = {John L. Bell},
title = {Boolean Algebras and Distributive Lattices Treated Constructively},
booktitle = {Mathematical Logic Quarterly 45},
year = {1999},
pages = {135--143}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
ABSTRACT. Some aspects of the theory of Boolean algebras and distributive lattices-- in particular, the Stone Representation Theorems and the properties of filters and ideals-- are analyzed in a constructive setting.
Citations
| 78 | Distribuive lattices - Dwinger - 1974 |
| 17 | Toposes and Local Set Theories: An Introduction - Bell - 1988 |
| 2 | Boolean algebras in a localic topos - Banaschewski, Bhutani - 1986 |
| 2 | Zorn's lemma and complete Boolean algebras in intuitionistic type theories - Bell - 1997 |
| 2 | Embedding of a distributive lattice in a boolean algebra - Peremans - 1957 |
| 1 | Another condition equivalent to De Morgan's law - Johnstone - 1979 |
