Improving the Consistency Strength of Reflection at ℵω+1 Abstract: Reflection at ℵω+1 , the statement that every stationary subset of ℵω+1 has a reflection point below ℵω+1 , was shown to be consistent given

Source URL: www.math.caltech.edu

• Set theory
• Cardinal number
• Cofinality
• Supercompact cardinal
• Unfoldable cardinal
• Laver function
• Large cardinals
• Mathematical logic
• Mathematics