Department of Mathematics
Columbian College of Arts & Sciences
Title: Diagonal method and tree strategies
Speaker: Valentina Harizanov, GWU
Abstract: We will continue with more sophisticated diagonal arguments in computability theory and how they can be presented on a tree.