𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Boolean Algebras and Distributive Lattices Treated Constructively

✍ Scribed by John L. Bell

Publisher
John Wiley and Sons
Year
1999
Tongue
English
Weight
546 KB
Volume
45
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

Finiteness conditions and distributive l
Finiteness conditions and distributive laws for Boolean algebras
✍ Marcel ErnΓ© πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 141 KB

## Abstract We compare diverse degrees of compactness and finiteness in Boolean algebras with each other and investigate the influence of weak choice principles. Our arguments rely on a discussion of infinitary distributive laws and generalized prime elements in Boolean algebras. In ZF set theory w

Residuated lattices arising from equival
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
✍ Thomas Vetterlein πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 185 KB

## Abstract Logics designed to deal with vague statements typically allow algebraic semantics such that propositions are interpreted by elements of residuated lattices. The structure of these algebras is in general still unknown, and in the cases that a detailed description is available, to underst