A Delta^2_2 well-order of the reals and incompactness of L(Q^{MM})

Uri Abraham, Saharon Shelah

A forcing poset of size 2^{2^{aleph_1}} which adds no new reals is described and shown to provide a Delta^2_2 definable well-order of the reals (in fact, any given relation of the…