Boolean Algebras and Distributive Lattices Treated Constructively

Mathematical Logic Quarterly 45 (1):135-143 (1999)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,211

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On -fuzzy filters ofR0-algebras.Xueling Ma, Jianming Zhan & Young B. Jun - 2009 - Mathematical Logic Quarterly 55 (5):493-508.
Finiteness conditions and distributive laws for Boolean algebras.Marcel Erné - 2009 - Mathematical Logic Quarterly 55 (6):572-586.
Contact semilattices.Paolo Lipparini - 2024 - Logic Journal of the IGPL 32 (5):815-826.
Free q-distributive lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.

Analytics

Added to PP
2009-01-28

Downloads
47 (#522,643)

6 months
3 (#1,170,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.

Add more citations

References found in this work

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Toposes and Local Set Theories. An Introduction.J. L. Bell - 1990 - Journal of Symbolic Logic 55 (2):886-887.

Add more references