Mathematics – Logic
Scientific paper
1994-04-21
Mathematics
Logic
Scientific paper
The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable cardinal is surprisingly equiconsistent just with the existence of a measurable cardinal. We also generalize the result to larger cardinals as strong or supercompact. Hence we can conclude that the Axiom of Full Reflection at large cardinals weaker than measurable, e.g. as n-Mahlo, does push the consistency strength up, but does not push the consistency strength up at measurable or larger cardinals.
Gitik Moti
Witzany Jiří
No associations
LandOfFree
Consistency Strength of the Axiom of Full Reflection at Large Cardinals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Consistency Strength of the Axiom of Full Reflection at Large Cardinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Consistency Strength of the Axiom of Full Reflection at Large Cardinals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-70747