Series: Penn State Logic Seminar

Date: Tuesday, January 16, 2001

Time: 2:30 - 3:20 PM

Place: 316 Willard Building

Speaker: Stephen G. Simpson, Department of Mathematics, Penn State

Title: An Overview of Mathematical Logic, part 2

Abstract: 

We continue with an informal overview of the main subdivisions of
contemporary mathematical logic: model theory, proof theory, set
theory, recursion theory.