I’m currently a second-year master’s student at McMaster University. I’m interested in model theory, especially from the perspective of categorical logic.
Here is my homepage.
Flypitch project – Formal proof of the independence of CH (github:flypitch, pdf)
(formal proof of independence of the continuum hypothesis)
Last revised on January 7, 2019 at 21:35:05. See the history of this page for a list of all contributions to it.