Recent and upcoming talks by Gunter Fuchs

First Girona inner model theory conference, Girona, July 16-27 2018

The first Girona inner model theory conference will take place on July 16-27 at the Philosophy Department of the University of Girona, Catalonia. The conference is a sequel to previous conferences on inner model theory in Münster, Palo Alto, Berkeley and Irvine. continue reading…

A conference on the occasion of Jensen’s 80th birthday, Münster, Aug 02–04, 2017

  Set theory conference   A conference on the occasion of Ronald B. Jensen‘s 80th birthday   Institut für Mathematische Logik und Grundlagenforschung, WWU Münster   Aug 02–Aug 04, 2017 Organizers: Menachem Magidor (Jerusalem), Ralf Schindler (Münster), John Steel (Berkeley), W. continue reading…

5th European Set Theory Conference, August 24 – 28, 2015

The 5th European Set Theory Conference (5ESTC) is the fifth meeting in a series of biannual meetings coordinated by the European Set Theory Society. Earlier meetings were held in Bedlewo (1ESTC, July 2007 and 2ESTC, July 2009), Edinburgh (3ESTC, July 2011) and Mon St. continue reading…

Münster conference on fine structure and inner model theory, July 20-24, 2015

  3rd Münster conference on   inner model theory, the core model induction, and hod mice   Institut für Mathematische Logik, WWU Münster,   July 20 — 31, 2015 Organizers: Ralf Schindler (Münster), John Steel (Berkeley)This conference will be a sequel to the 1st Conference on the core model induction and hod mice that was held in Münster (FRB), July 19 — August 06, 2010, to the 2nd Conference on the core model induction and hod mice that was held in Münster (FRG), August 08 — 19, 2011, as well as to the AIM Workshop on Descriptive Inner Model Theory, held in Palo Alto (CA), June 02 — 06, 2014, and to the Conference on Descriptive Inner Model Theory, held in Berkeley (CA) June 09 — 13, 2014. continue reading…

This Week in Logic at CUNY

Computational Logic Seminar Tuesday, November 5, 2013 2:00 pm Graduate Center, rm. 3209 Speaker: Elena Nogina The City University of New York Title: Reflection Principles Involving Provability and Explicit Proofs Link: http://nylogic.org/talks/reflection-principles-involving-provability-and-explicit-proofs  Reflection principles are classical objects in proof theory and the areas studying Gödel’s Incompleteness. continue reading…

This Week in Logic at CUNY

Set theory seminar Friday, September 27, 2013 10:00 am 6417 Speaker: Gunter Fuchs The City University of New York Title: A self-specializing Souslin tree Link: http://nylogic.org/talks/a-self-specializing-souslin-tree  I will present a construction, assuming Jensen’s combinatorial principle diamond, of a Souslin tree T which, after forcing with T, will be Ahronszajn off the generic branch. continue reading…

16/Sep/2013: Burak Kaya and Gunter Fuchs

DST Seminar— Room 525 Hill Center Monday 16/09 — Burak Kaya Title: An introduction to the theory of costs Logic Seminar— Room 705 HillCenter Monday 16/09 — Gunter Fuchs (CUNY) Title: Characterizing Magidor sequences continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Tuesday, February 5, 2013 2:00 pm Speaker: Konstantinos Georgatos John Jay College Of Criminal Justice Title: Geodesic Semantics for Belief Change Any logical system that models human reasoning needs to address the possibility of error and the subsequent belief change once this error is recognized. continue reading…

This Week in Logic at CUNY

  The New York Philosophical Logic Group Time/Place: Tuesday Sept. 25, 7:15 p.m. to 9:15 p.m., 2nd floor seminarroom, NYU Philosophy Dept (5, Washington Place) Speaker: Graham Priest (GC, CUNY) Topic: Validity Curries Brief Abstract: Curry Paradoxes involving truth and set-hood are well known. continue reading…

This Week in Logic at CUNY

  Models of Peano Arithmetic Monday, March 19, 2012 7:00 pm Room 4214-03 Professor David Marker (University of Illinois at Chicago) The Mourgues Rassayre Theorem   Set Theory Seminar Friday, March 23, 2012 10:00 am GC 6417 Professor Gunter Fuchs (The City University of New York) Contructing a Souslin almost Kurepa tree Abstract. continue reading…