Events items teaser

Computability Theory Learning Seminar
2023-06-08 14:30 (America/Toronto)
RACHAEL ALVIR, DEPARTMENT OF PURE MATHEMATICS, UNIVERSITY OF WATERLOO

"REVERSE MATH III"

In this talk, we will be presenting material from a recent book
by Damir Dzhafarov and Carl Mummert. In particular, we will prove the
cone avoidance basis theorem.

MC 5403
