Article contents
Inner Models and Ultrafilters In L(ℝ)
Published online by Cambridge University Press: 15 January 2014
Abstract
We 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
.
- Type
- Articles
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2007
References
REFERENCES
- 6
- Cited by