TY  - RPRT
TI  - On the consistency strength of the proper forcing axiom
AU  - Matteo Viale
AU  - Christoph Weiß
PY  - 2010
UR  - https://arxiv.org/abs/1012.2046
ID  - 1012.2046
ER  -