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.
On a method of Todorcevic
30.06.2011 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25