I want a model of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ in which every set of reals in $L(\mathbb{R})$ has the perfect set property. In terms of consistency strength, it is known that I need at least an inaccessible: if $\mathrm{PSP}(L(\mathbb{R}))$, then $\omega_1$ is inaccessible in $L$. I haven't been able to find any other lower bounds on the consistency strength of $\mathrm{MA}+\neg\mathrm{CH}+\mathrm{PSP}(L(\mathbb{R}))$.

The best upper bound I can find is the fact, due to Woodin, that a measurable cardinal above infinitely many Woodin cardinals outright implies $\mathrm{Det}(L(\mathbb{R}))$. So, starting with these large cardinals in the ground, I can get what I want by forcing MA (using a "small" forcing).

My question is, do I really need such strong hypotheses? The ideal answer would be "this is known; the answer can be found in...". One the other hand, if you can tell me with confidence that it's an open problem, then at least I'll know that trying to solve it isn't a waste of time.

If it's easier to answer my question for projective sets, please do!

Back in 1964, Solovay proved that Levy-collapsing an inaccessible $\kappa$ to $\omega_1$ forces every set of reals definable by an omega-sequence of ordinals---this includes every set of reals in $L(\mathbb{R})$---to have the perfect set property. The catch is that the Solovay model also satisfies CH.

There's a 1989 JSL paper by Judah and Shelah (http://www.jstor.org/stable/2275017) that looks at the consistency strength of $\mathrm{MA}_{\sigma\mathrm{-centered}}+\neg\mathrm{CH}$ (and similar forcing axioms) in conjunction with various regularity properties for projective sets: Lebesgue measurability, the Baire property, and the Ramsey property. The perfect set property is (from my point of view) conspicuously absent.

precisely$\omega$ Woodin cardinals. You do not need more to obtain models where Martin's axiom holds and $L(\mathbb R)$ still satisfies determinacy. For example, you can force over $L(\mathbb R)$ itself using Woodin's ${\mathbb P}_{max}$ forcing to achieve this. $\endgroup$ – Andrés E. Caicedo Jul 26 '11 at 21:46