Inner Models and Ultrafilters In L(ℝ)
Inner Models and Ultrafilters In L(ℝ)
复制标题
L(ℝ) 中的内部模型和超滤器
作者:
I. Neeman
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 .