These are my notes on the proof presented in MacLane and Moerdijk for
my talk in Categorical Logic at CMU. Run latexmk -pdf main.tex to
generate them.
Some notes on the independence of the continuum hypothesis.
These are my notes on the proof presented in MacLane and Moerdijk for
my talk in Categorical Logic at CMU. Run latexmk -pdf main.tex to
generate them.
Some notes on the independence of the continuum hypothesis.