Bulletin of Symbolic Logic. Volume 26, Issue 1, December 2020. Pages 89-92.
DOI: 10.1017/bsl.2020.6. PDF.
Bibtex.
@ARTICLE{MuReview,
AUTHOR= {S. Müller},
TITLE= {Consistency strength lower bounds for the proper forcing axiom via the core model induction},
JOURNAL = {Bulletin of Symbolic Logic},
NOTE = {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.},
VOLUME = {26},
NUMBER = {1},
YEAR = {2020},
PAGES = {89-92},
DOI = {10.1017/bsl.2020.6}}
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.
