Mathematician:John Lane Bell

Mathematician

British mathematician and philosopher working in set theory, model theory, lattice theory, modal logic, quantum logic, constructive mathematics, type theory, topos theory, infinitesimal analysis, spacetime theory, and the philosophy of mathematics.

Nationality

Anglo-Canadian

History

• Born: 25 March 1945

Publications

• 1969: Models and Ultraproducts: An Introduction (with A.B. Slomson)
• 1977: A Course in Mathematical Logic (with M. Machover)

• 1977: Boolean-Valued Models and Independence Proofs in Set Theory
  • 1985: Boolean-Valued Models and Independence Proofs in Set Theory (2nd ed.)
  • 2005: Boolean-Valued Models and Independence Proofs in Set Theory (3rd ed.)

• 1988: Toposes & Local Set Theories: An Introduction

• 1998: A Primer of Infinitesimal Analysis
  • 2008: A Primer of Infinitesimal Analysis (2nd ed.)

• 1999: The Art of the Intelligible: An Elementary Survey of Mathematics in its Conceptual Development
• 2001: Logical Options: An Introduction to Classical and Alternative Logics (with D. DeVidi and G. Solomon)
• 2005: The Continuous and the Infinitesimal in Mathematics and Philosophy
• 2009: The Axiom of Choice
• 2011: Set Theory: Boolean-Valued Models and Independence Proofs
• 2013: Intuitionistic Set Theory
• 2016: Oppositions and Paradoxes: Philosophical Perplexities in Science and Mathematics
• 2019: The Continuous, the Discrete, and the Infinitesimal in Philosophy and Mathematics (New and Revised Edition of 2005 book)