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

[Noah Schweber]

I believe the standard source here is "Sheaves in geometry and logic" by
Maclane and Moerdijk - specifically, chapter VI.



On Mon, Jul 3, 2017 at 4:44 AM, Neil Barton <bartonna at gmail.com> 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
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170703/7ef74eb0/attachment-0001.html>