Boolean algebras and distributive lattices treated constructively

Mathematical Logic Quarterly

Volumn 45, Issue 1, 1999, Pages 135-143

  Bell, John L ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

Boolean algebra; Constructive mathematics; Distributive lattice; Filter

Indexed keywords

EID: 0033477143     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.19990450113     Document Type: Article

References (6)

1. BALBES, R., and P. DWINGER, Distributive Lattices. University of Missouri Press, Columbia (Missouri) 1974.
2. BANASCHEWSKI, B., and K. BHUTANI, Boolean algebras in a localic topos. Math. Proc. Camb. Phil. Soc. 100 (1986), 43-55.
3. BELL, J. L., Toposes and Local Set Theories: An Introduction. Clarendon Press, Oxford 1988.
4. BELL, J. L., Zorn's lemma and complete Boolean algebras in intuitionistic type theories. J. Symbolic Logic (to appear).
5. JOHNSTONE, P. T., Another condition equivalent to De Morgans law. Comm. Alg. 7 (1979), 1309-1312.
6. PEREMANS, W., Embedding of a distributive lattice into a Boolean algebra. Indag. Math. 19 (1957), 73-81.