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...

Set Theory

By John Lane Bell, John L. Bell

Models and Ultraproducts

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

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 Primer Of Infinitesimal Analysis

By J.L. Bell, John L. Bell

One Of The Most Remarkable Recent Occurrences In Mathematics Is The Refounding, On A Rigorous Basis, Of The Idea Of Infinitesimal Quantity, A Notion Which Played An Important Role In The Early Deve...

Models and ultraproducts

By Bell J. L.

A course in mathematical logic

By Bell J. L.