Computability Learning Seminar

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