Tuesday, November 5, 2019 2:00 pm
-
2:00 pm
EST (GMT -05:00)
Luke MacLean, Department of Pure Mathematics, University of Waterloo
"Reverse Mathematics"
We say that $S \subseteq \mathcal{P}(\omega)$ is an $\omega$-model of a subsystem of second order arithmetic if the $L_2$ structure $(\omega, S, +, \cdot, 0, 1, <)$ correctly models the subsystem in question. The goal of this lecture will be to prove that there is an $\omega$-model of $WKL_0$ consisting entirely of low sets.
This will involve learning about PA degrees and the low basis theorem.
All are welcome.
MC 5413