Consistency strength lower bounds for the proper forcing axiom via the core model induction

Bulletin of Symbolic Logic. PDF. Bibtex.

This is an invited review of four papers by G. Sargsyan, J. Steel and N. Trang on consistency strength lower bounds for the proper forcing axiom via the core model induction.