A quasi-lower bound on the consistency strength of PFA

From MaRDI portal
Publication:3190409