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)
On synthetic differential geometry:
On Zorn's lemma and Boolean algebra in intuitionistic type theories:
Last revised on July 23, 2021 at 19:35:01. See the history of this page for a list of all contributions to it.