Models for short sequences of measures in the cofinality-\omega constructible model

Abstract: We investigate the relation between

C^{*}

, the model of sets constructible using first order logic augmented with the "cofinality-

o m e g a

" quantifier, and "short" sequences of measures - sequences of measures of order

1

, which are shorter than their minimum. We show that certain core models for short sequences of measures are contained in

C^{*}

; we compute

C^{*}

in a model of the form

L l e f t [m a t h c a l U i g h t]

where

m a t h c a l U

is a short sequence of measures, and in models of the form

L l e f t [m a t h c a l U i g h t] l e f t [G i g h t]

where

G

is generic for adding Prikry sequences to some of the measurables of

m a t h c a l U

; and prove that if there is an inner model with a short sequence of measures of order type

c h i

, then there is such an inner model in

C^{*}

.

This page was built for publication: Models for short sequences of measures in the cofinality-$\omega$ constructible model