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

On mathematical logic:

On synthetic differential geometry:

On Zorn's lemma and Boolean algebra in intuitionistic type theories:

  • 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 19:35:01. See the history of this page for a list of all contributions to it.