Measurable cardinals and good \Sigma₁(\kappa)-wellorderings

DOI10.1002/MALQ.201700018MaRDI QIDQ6285098arXivFDO

Authors Philipp Lücke, Philipp Schlicht

Publication date 3 April 2017

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Abstract: We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $kappa$ with the property that the collection of all initial segments of the wellordering is definable by a $Sigm{a}_1$-formula with parameter $kappa$. A short argument shows that the existence of a measurable cardinal $delta$ implies that such wellorderings do not exist at $delta$-inaccessible cardinals of cofinality not equal to $delta$ and their successors. In contrast, our main result shows that these wellorderings exist at all other uncountable cardinals in the minimal model containing a measurable cardinal. In addition, we show that measurability is the smallest large cardinal property that interferes with the existence of such wellorderings at uncountable cardinals and we generalize the above result to the minimal model containing two measurable cardinals.

This page was built for publication: Measurable cardinals and good $\Sigma_1(\kappa)$-wellorderings

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