
arXiv: math/9404205
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.
strong cardinals, Large cardinals, consistency, axiom of full reflection, measurable cardinal, Mathematics - Logic, supercompact cardinals, iterated forcing, large cardinals, FOS: Mathematics, Consistency and independence results, Logic (math.LO)
strong cardinals, Large cardinals, consistency, axiom of full reflection, measurable cardinal, Mathematics - Logic, supercompact cardinals, iterated forcing, large cardinals, FOS: Mathematics, Consistency and independence results, Logic (math.LO)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
