Splitting number and the core model

Abstract: We can generalize the definition of {it splitting number }

s (k a p p a)

for

k a p p a

uncountable regular:

s (k a p p a) = m i n | C a l S | : C a l S s u b s e t C a l P (k a p p a) f o r a l l a i n k a p p a^{k} a p p a e x i s t s b i n C a l S | a c a p b | = | a s e t m i n u s b | = k a p p a

However,

e x i s t s k a p p a > a l e p h_{0}

s (k a p p a) > k a p p a^{+}

becomes a considerable hypothesis,shown consistent from a supercompact.We show that it implies inner models of

e x i s t s a l p h a : o (a l p h a) = a l p h a^{+ +}

This page was built for publication: Splitting number and the core model