Proper forcing and $L(\mathbb{R})$

Itay Neeman, Jindrich Zapletal

We present two ways in which the model $L(\mathbb{R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters…