Indestructible cardinals and forcing axioms

10.05.2007 15:00 - 16:30

T. Johnstone (City U, New York, US)

Determining which cardinals can be made indestructible by which classes of forcing has been a major interest in modern set theory. Inspired by Laver's celebrated result for supercompact cardinals, I will present a method of making strongly unfoldable cardinals indestructible. These cardinals strengthen weakly compact and indescribable cardinals, yet they are rather small in the hierarchy of large cardinals, as they are consistent with \(V=L\). Starting with a strongly unfoldable cardinal \(\kappa\), I will produce a forcing extension \(V[G]\), in which the strong unfoldability of kappa is indestructible by all \(<\kappa\)-closed, \(\kappa\) preserving posets. In particular, the weak compactness and indescribability of \(\kappa\) is indestructible. Previously known results would have had to assume the existence of a strong or supercompact cardinal to obtain this general indestructibility. Combining the method with the idea of Baumgartner's proof of the relative consistency of the Proper Forcing Axiom PFA, I will establish the consistency of a weakening of PFA relative to the existence of a strongly unfoldable cardinal. I will also discuss several related open questions. Part of the material in this talk is joint work with Joel David Hamkins.

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25