# nLab John Lane Bell

John Lane Bell works in mathematical logic, philosophy of mathematics, set theory and category theory

(beware that there is also the physicist John Stewart Bell)

## Selected writings

• John Lane Bell, Zorn’s lemma and complete Boolean algebras in intuitionistic type theories, The Journal of Symbolic Logic, 62(4):1265–1279, 1997 (doi:10.2307/2275642)
category: people

Last revised on July 23, 2021 at 15:35:01. See the history of this page for a list of all contributions to it.