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