论文信息 - Boolean Algebras and Distributive Lattices Treated Constructively

Boolean Algebras and Distributive Lattices Treated Constructively

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.

John L. Bell | J. Bell

[1] John L. Bell,et al. Toposes and local set theories - an introduction , 1988 .

[2] W. Peremans. Embedding of a distributive lattice into a boolean algebra : (proceedings knaw series a, _6_0(1957), nr 1, indagationes mathematicae, _1_9(1957), p 73-81) , 1957 .

[3] P. Johnstone. Another condition equivalent to de morgan's law , 1979 .

[4] B. Banaschewski,et al. Boolean algebras in a localic topos , 1986, Mathematical Proceedings of the Cambridge Philosophical Society.

[5] John L. Bell,et al. Zorn's lemma and complete Boolean algebras in intuitionistic type theories , 1997, Journal of Symbolic Logic.