Series: Penn State Logic Seminar

Date: Tuesday, September 5, 2000

Time: 2:30 - 3:20 PM

Place: 307 Boucke Building

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

Title: Organizational Meeting

Abstract: 

The logic seminar will meet every Tuesday at 2:30 PM in 307 Boucke,
from now through December 5.  This meeting is organizational.
Possible future topics include: Tarski's axiomatic geometry; the
Goedel incompleteness phenomenon; decidable and undecidable theories;
solvable and unsolvable problems; subsystems of second order
arithmetic; reverse mathematics; independence results in set theory;
introduction to proof theory.