Computability learning seminar

Matthew Harrison-Trainor, Pure Mathematics, University of Waterloo

"$n$-systems - Part II"

We will continue our discussion of $n$-systems, and prove a  
general "metatheorem'' with a list of conditions that guarantee the  
success of a priority construction.