Boolean Algebras and Distributive Lattices Treated Constructively
type: Item
instance of: scholarly article
title: Boolean Algebras and Distributive Lattices Treated Constructively
zbMATH Open document ID: 0931.03074
published in: Mathematical Logic Quarterly
publication date: 1999-05-18T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 06D99
Mathematics Subject Classification ID: 06E99
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18G25
zbMATH DE Number: 1271042
zbMATH Keywords: constructive mathematics
zbMATH Keywords: Stone representation theorems
zbMATH Keywords: Boolean algebras
zbMATH Keywords: distributive lattices
zbMATH Keywords: filters
zbMATH Keywords: ideals
MaRDI profile type: MaRDI publication profile
full work available at URL: malq.19990450113
OpenAlex ID: W2115716791
cites work: Boolean algebras in a localic topos
cites work: Q4039735
cites work: Zorn's lemma and complete Boolean algebras in intuitionistic type theories
cites work: Another condition equivalent to de morgan's law
cites work: Q3241258
DOI: 10.1002/MALQ.19990450113
author: John L. Bell
Recommended article: Q3484886
Recommended article: Q4290555
Recommended article: Boolean algebras derived from a quotient of a distributive lattice
Recommended article: Q4674837
Recommended article: Algebraic lattices and Boolean algebras
Recommended article: Q3812230
Recommended article: Q5690140
Recommended article: Constructive Boolean algebras
Recommended article: Q4735183
Recommended article: Boolean algebras and similar lattices
description: scientific article; zbMATH DE number 1271042