Class forcing and topos theory
David Roberts
10.4225/55/5b2252e3092af
https://adelaide.figshare.com/articles/journal_contribution/Class_forcing_and_topos_theory/6530843
These are notes for a talk delivered at IHES in November 2015, titled "Class forcing and topos theory", video at https://www.youtube.com/watch?v=4AaSySq8-GQ
2018-06-15 07:04:48
topos theory
category theory
forcing
set theory
Mathematical Logic, Set Theory, Lattices and Universal Algebra
Category Theory, K Theory, Homological Algebra