2011 seminar talk: On a method of Todorcevic

Talk held by Arthur Fischer (KGRC) at the KGRC seminar on 2011-06-30.

Abstract

In their 2001 paper, P. Larson & S. Todorcevic introduced a method for constructing models of ZFC in which certain consequences of Martin's Axiom and the Axiom of Constructibility hold; consequences that were previously unknown to be jointly consistent.  We will examine an extension of this method to the Proper Forcing Axiom (due to S. Todorcevic), provide an indication of what is known to hold in these models, and by way of a novel example outline the machinery that has been used to generate many of the proofs to date.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.