Computability learning seminar

Speaker:

Matthew Harrison-Trainor, Pure Mathematics
University of Waterloo

A low2 model of RT2 abstract:

We give a proof of Cholak, Jockush, and Slaman that there is an ω-model of RT2 consisting entirely of low2 sets.