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

MaRDI QIDQ6504657arXivFDO

Authors Ur Ya'Ar

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Abstract: We investigate the relation between $C^{\ast }$, the model of sets constructible using first order logic augmented with the "cofinality-$omega$" 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^{\ast }$; we compute $C^{\ast }$ in a model of the form $Lleft[mathcalUight]$ where $mathcalU$ is a short sequence of measures, and in models of the form $Lleft[mathcalUight]left[Gight]$ where $G$ is generic for adding Prikry sequences to some of the measurables of $mathcalU$; and prove that if there is an inner model with a short sequence of measures of order type $chi$, then there is such an inner model in $C^{\ast }$.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6504657)