Capturing sets of ordinals by normal ultrapowers

DOI10.1016/J.APAL.2023.103261arXiv1902.10638MaRDI QIDQ6314738FDOQ6314738

Authors: Miha E. Habič, Radek Honzík 

Publication date: 27 February 2019

Abstract: We investigate the extent to which ultrapowers by normal measures on $kappa$ can be correct about powersets $mathcalP(lambda)$ for $lambda>kappa$. We consider two versions of this questions, the capturing property $mathrmCP(kappa,lambda)$ and the local capturing property $mathrmLCP(kappa,lambda)$. $mathrmCP(kappa,lambda)$ holds if there is an ultrapower by a normal measure on $kappa$ which correctly computes $mathcalP(lambda)$. $mathrmLCP(kappa,lambda)$ is a weakening of $mathrmCP(kappa,lambda)$ which holds if every subset of $lambda$ is contained in some ultrapower by a normal measure on $kappa$. After examining the basic properties of these two notions, we identify the exact consistency strength of $mathrmLCP(kappa,kapp{a}^{+})$. Building on results of Cummings, who determined the exact consistency strength of $mathrmCP(kappa,kapp{a}^{+})$, and using a forcing due to Apter and Shelah, we show that $mathrmCP(kappa,lambda)$ can hold at the least measurable cardinal.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

This page was built for publication: Capturing sets of ordinals by normal ultrapowers

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