–
Room P3.10, Mathematics Building
John L. Bell, University of Western Ontario, London
Distributive lattices, Boolean algebras, and Zorn's lemma in a constructive setting
Distributive lattices, Boolean algebras, and Zorn's lemma in a constructive setting