Reals and Forcing with an Elementary Topos

Abstract

Certain special types of categories, called Toposes, can formu- late basic facts about sheaf theory in topology and algebraic geometry and thus clarify the role of geometry in independence proofs by forcing. They also establish a remarkable connection with intuitionist logic. This paper will summarize these results.