arXiv:math/9404205 Abstract

arXiv:math/9404205 [math.LO]Abstract References Reviews Resources

Consistency Strength of the Axiom of Full Reflection at Large Cardinals

Published 1994-04-21Version 1

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.

Categories: math.LO

Keywords: full reflection, consistency strength, measurable cardinal, larger cardinals, large cardinals weaker

Related articles: Most relevant | Search more

arXiv:2307.06494 [math.LO] (Published 2023-07-13)

On the Consistency Strength of MM($ω_1$)

Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota, Jindrich Zapletal

arXiv:math/9602216 [math.LO] (Published 1996-02-15, updated 2023-05-18)

Categoricity and amalgamation for AEC and $ κ$ measurable

Oren Kolman, Saharon Shelah

arXiv:2311.12156 [math.LO] (Published 2023-11-20)

Between Ramsey and measurable cardinals

Victoria Gitman, Philipp Schlicht