Is it consistent (from suitable large cardinals) that there is a ccc poset which forces PFA?

This seems quite implausible to me. If we could force PFA via ccc forcing, the ground model would have to be quite close to a model of PFA (having the correct continuum, no squares, SCH holding etc.). However, the ground model cannot be a model of full PFA (or even BPFA), since it follows from a result of Caicedo and Veličković that *any* ccc forcing over such models destroys BPFA.

The reference for the Caicedo-Veličković result is

> Andrés Eduardo Caicedo and Boban Veličković, *The bounded proper forcing axiom and well orderings of the reals*, Math. Res. Lett. **13** (2006), no. 3, 393--408. ([link][1])

They show that if $V$ and an inner model $M$ agree on $\omega_2$ and both satisfy BPFA then they have the same subsets of $\omega_1$. The conclusion above follows since any ccc forcing adds a subset of $\omega_1$.


  [1]: http://intlpress.com/site/pub/files/_fulltext/journals/mrl/2006/0013/0003/MRL-2006-0013-0003-a005.pdf