https://github.com/jozefg/independence-of-the-continuum-hypothesis

Some notes on the independence of the continuum hypothesis.
https://github.com/jozefg/independence-of-the-continuum-hypothesis

boring-math topos-theory

Last synced: 2 months ago
JSON representation

Some notes on the independence of the continuum hypothesis.

• Host: GitHub
• URL: https://github.com/jozefg/independence-of-the-continuum-hypothesis
• Owner: jozefg
• Created: 2017-04-23T19:42:38.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2019-05-20T00:00:26.000Z (about 6 years ago)
• Last Synced: 2025-01-28T16:34:41.746Z (4 months ago)
• Topics: boring-math, topos-theory
• Language: TeX
• Size: 1.37 MB
• Stars: 7
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
## 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.