Recent and upcoming talks by Philip Welch

This Week in Logic at CUNY

Computational Logic Seminar Time 2:00 – 4:00 PM, February 14, Room 3209 Speaker: Antonis Achilleos (Graduate Center) Title: The complexity of multi-agent explicit knowledge II. Models of Peano Arithmetic Wednesday, February 15, 2012 6:30 pm Room 4214-03 ((Note: new day and time)) Professor Roman Kossak (The City University of New York) More on open problems in Models of PA Set Theory Seminar Friday, February 17, 2012 10:00 am GC 6417 Ms. continue reading…

This Week in Logic at CUNY

This Week in Logic at CUNY: – – – – Monday, Feb 6, 2012 – – – – – – – – Tuesday, Feb 7, 2012 – – – – Computational Logic Seminar Time 2:00 – 4:00 PM, February 7 Room 3209. continue reading…

Logic Colloquium 2012, July 12 – 18 2012

The 2012 ASL European Summer Meeting will take place 12th-18th July 2012 (University of Manchester). Tutorials Ilijas Farah: Elliott’s program and descriptive set theory (abstract) Antonio Montalbán: Reverse mathematics (abstract) Boris Zilber: Pseudo-analytic structures: model theory and algebraic geometry (abstract) Plenary Lectures Jeremy Avigad: Computability and convergence (abstract) Andreas R. continue reading…