L(R) absoluteness under proper forcings
arXiv:math/9909043
Abstract
We isolate a new large cardinal concept, "remarkability." Consistencywise, remarkable cardinals are between ineffable and omega-Erdos cardinals. They are characterized by the existence of "0^sharp-like" embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness under proper forcings. In particular, said absoluteness does not imply Pi^1_1 determinacy.
15 pages