A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities
Description:
Assuming the axiom of determinacy, we give a new proof of the strong partition relation on ω1. Further, we present a streamlined proof that J<λ+(a) (the ideal of sets which force cof Π α < λ) is generated from J<λ+(a) by adding a singleton. Combining these results with a polarized partition relation on ω1
Date:
May 2001
Creator:
May, Russell J.