Logic Seminar-Diagonal method and tree strategies

Wednesday, February 15, 2017

5:30–6:30p.m.

Speaker: Valentina Harizanov, GWU

http://home.gwu.edu/~harizanv/

Place: Rome Hall (801 22nd Street), Room 351

Title: Diagonal method and tree strategies

Abstract: We will continue with more sophisticated diagonal arguments in computability theory and how they can be presented on a tree.