Coding with Ladders A Well Ordering of The Reals

Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof consists in iterating posets designed to change at will the guessing properties of ladder

• Type: Journal
• Year: 2002
• Where: JSYML
• Authors: Uri Abraham, Saharon Shelah
• Keywords: 1-well Ordering, Generic Extension, JSYML 2002, Model