Abstract
AbstractWe present a characterization of supercompactness measures for ω1 in L(ℝ), and of countable products of such measures, using inner models. We give two applications of this characterization, the first obtaining the consistency of with ZFC+ADL(ℝ), and the second proving the uniqueness of the supercompactness measure over in L(ℝ) for .
Publisher
Cambridge University Press (CUP)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the derived models of self-iterable universes;P AM MATH SOC;2021-07-29
2. Definable combinatorics at the first uncountable cardinal;Transactions of the American Mathematical Society;2021-01-12
3. On Supercompactness of $$\omega _1$$;Springer Proceedings in Mathematics & Statistics;2021
4. Bibliography;Large Cardinals, Determinacy and Other Topics;2020-11-05
5. The fourteen Victoria Delfino problems and their status in the year 2020;Large Cardinals, Determinacy and Other Topics;2020-11-05