Boolean-valued Models and Independence Proofs in Set Theory

By Bell J. L.

Boolean-valued Models in Set Theory

By J. L. Bell, Bell J. L.

Toposes And Local Set Theories: An Introduction

By J.L. Bell, John L. Bell, John Lane Bell

This is an introduction to what may be termed the logical approach to topos theory, that is, the presentation of toposes as the models of theories - the so-called "local set theories" - formulated...

Toposes And Local Set Theories: An Introduction

By J.L. Bell, John L. Bell, John Lane Bell

This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topics include...

A Primer of Infinitesimal Analysis

By John L. Bell, Bell J. L.

A course in mathematical logic

By Bell J. L.

Intuitionistic Set Theory

By J.L. Bell, John L. Bell, John L. Bell - Undifferentiated, John Lane Bell

While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject h...

The axiom of choice

By Bell J. L.

Models and Ultraproducts: An Introduction.

By J.L. And A.B. Slomson. Bell