Recent and upcoming talks by Spencer Unger

Spencer Unger: Scales and the Singular Cardinals Hypothesis

Spencer Unger will continue his series of talks. Mathematical logic seminar – January/February 2013 Time:     12:00 – 13:20 Room:     Wean Hall 7201 Speaker:         Spencer Unger Department of Mathematical Sciences Carnegie Mellon University Title:     Scales and the Singular Cardinals Hypothesis Abstract: (Joint work with Dima Sinapova) In this series of talks I will present the following recent result which answers a question posed by Woodin in the 80’s. continue reading…

New York Graduate Student Logic Conference, April 18-19, 2013

We are pleased to announce the fourth New York Graduate Student Logic Conference will be held Thursday and Friday, April 18-19, 2013, at the CUNY Graduate Center located in midtown Manhattan. continue reading…

Spencer Unger: Scales and the Singular Cardinals Hypothesis

Seminar will resume meeting tomorrow (Tuesday 21 January). Spencer Unger will begin a series of lectures on “Scales and the Singular Cardinals Hypothesis”. As usual seminar will meet 12:00-1:30 in Wean Hall 7201 continue reading…

Forcing, Large Cardinals and Descriptive Set Theory, September 1 – October 25, 2013

Forcing, Large Cardinals and Descriptive Set Theory, September 1 – October 25, 2013, at the ESI The Erwin Schrödinger International Institute for Mathematical Physics (Vienna). This 6-week programme at the ESI will be devoted to Large Cardinals and Forcing during September 9-27, and to Descriptive Set Theory during September 30 – October 18. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Room 3309. Time 2:00 – 4:00 PM Tuesday, November 1. Speaker: Hidenory Kurokawa (Graduate Center) Title: Tableaux and Hypersequents for Logic of Proofs and Provability . Abstract. Goedel-Lob logic (GL) has been used as the fundamental modal logic of formal provability in arithmetic (e.g., PA). continue reading…