Martin's Maximum^++ implies the P_max axiom (*) -- Part II

4 November 2021

(This is Part II of a two-part talk.)

Forcing axioms spell out the dictum that if a statement can be forced, then it is already true. The P_max axiom (*) goes beyond that by claiming that if a statement is consistent, then it is already true. Here, the statement in question needs to come from a resticted class of statements, and "consistent" needs to mean "consistent in a strong sense". It turns out that (*) is actually equivalent to a forcing axiom, and the proof is by showing that the (strong) consistency of certain theories gives rise to a corresponding notion of forcing producing a model of that theory. Our result builds upon earlier work of R. Jensen and (ultimately) Keisler's "consistency properties".

The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).