[FOM] Reference request for category-theoretic presentation of forcing

[Alasdair Urquhart]

There is an interesting little monograph by Andre Scedrov

 	Forcing and classifying topoi

that was published in the Memoirs of the American Mathematical
Society series (Number 295, 1985).  This puts forcing in
a category-theoretic framework.


On Mon, 3 Jul 2017, Neil Barton wrote:

> Dear All,
> A short reference request: I'm interested in the category-theoretic presentations of set-theoretic forcing (e.g. showing that ~CH
> is consistent with ZFC).
> 
> As someone with a reasonable knowledge of set theory (inner models and the forcing construction are certainly fine) and a basic
> knowledge of topos theory (subobject classifiers, algebras of subobjects, sheaves etc.) what's the best reference here? Would that
> be the Appendix to Bell's Boolean-Valued Models and Independence Proofs, or are there other references? I would like a little more
> detail on the wider implications of this way of cashing out the results, in particular how they relate to category theory/set
> theory more generally.
> 
> Best Wishes,
> 
> Neil
> 
> --
> Dr. Neil Barton
> Postdoctoral Research Fellow
> Kurt Gödel Research Center for Mathematical Logic 
> University of Vienna