Logic Seminar

Wed, 15 February, 2017 10:30pm

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.