Browse
Browse and Search
Search
- No file added yet -
File info
Class forcing and topos theory
Cite
Download
(179.34 kB)
Share
Embed
Version 2
Version 2 2018-06-15, 07:04
Version 2 2018-06-15, 07:04
Version 1 2018-06-14, 11:36
Version 1 2018-06-14, 11:36
journal contribution
posted on 2018-06-15, 07:04
authored by
David Roberts
David Roberts
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
Funding
Australian Research Council DP120100106
History
Usage metrics
Categories
Mathematical logic, set theory, lattices and universal algebra
Category theory, k theory, homological algebra
Keywords
topos theory
category theory
forcing
set theory
Mathematical Logic, Set Theory, Lattices and Universal Algebra
Category Theory, K Theory, Homological Algebra
Licence
CC0
Exports
Select an option
RefWorks
RefWorks
BibTeX
BibTeX
Ref. manager
Ref. manager
Endnote
Endnote
DataCite
DataCite
NLM
NLM
DC
DC