8
$\begingroup$

I've just saw in Maclane and Moerdijik's book ("Sheaves in Geometry and Logic: A First Introduction to Topos Theory") about the Cohen forcing viewed in a categorical way using Topos theory. Is there any reference for forcing techniques using categories and Topos? Can the other kinds of forcing (iterated, Prickry, etc.) be viewed in the same (analogous) way? Any reference for the last question?

Thanks in advance.

$\endgroup$
6
$\begingroup$

I'd suggest Andre Scedrov's paper "Forcing and classifying topoi" [Memoirs A.M.S. 48 (1984) No. 295] or the early part of my joint paper with Scedrov, "Freyd's models for the independence of the axiom of choice" [Memoirs A.M.S. 79 (1989), No. 404].

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.