The Abraham-Shelah Δ²₂-well-ordering of the reals

2023/03/09 by Golshani, Mohammad
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2303.05145

Abstract

We give an exposition of the Abraham-Shelah's proof of the consistency of GCH with existence of a Δ²₂-well-ordering of the reals.

Related

• A Delta²₂ well-order of the reals and incompactness of L(Q^MM)
• Coding with ladders a well-ordering of the reals
• Transcendence bases, well-orderings of the reals and the axiom of choice
• A Universe with a Δ¹_n-definable well-order of the reals, CH and Π¹_n-Uniformization
• Cofinitary groups and projective well-orders