Computability Learning Seminar

Tuesday, January 21, 2020 2:00 pm - 2:00 pm EST (GMT -05:00)

Luke MacLean, Department of Pure Mathematics, University of Waterloo

"Reverse Mathematics"

Different forms of Ramsey's Theorem will be discussed with a focus on their reverse mathematical strength. Tools from computability theory such as PA degrees will be used.

MC 5413