Event Detail

There are many mutually incompatible axiomatic extensions of ZFC. Some are studied and used intensively by set theorists as framework theories. Steel’s program is to “unify” these frameworks, in a qualified sense, by building interpretations of each inside the others. Then developing one framework is to develop all that interpret it.

This talk will be about recent progress in Steel’s program using Nairian models, new models of the Axiom of Determinacy studied by myself, Paul Larson, Grigor Sargsyan, John Steel, and Hugh Woodin. Specifically, I will discuss efforts towards interpreting forcing axioms in a forcing extension of a Nairian model.