On supercompactness of \omega₁

DOI10.1007/978-981-16-4173-2_2MaRDI QIDQ6316612arXivFDO

Authors Daisuke Ikegami, Nam Trang

Publication date 3 April 2019

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60) Set theory (03Exx) General logic (03Bxx)

Abstract: This paper studies structural consequences of supercompactness of $omeg{a}_1$ under $sfZF$. We show that the Axiom of Dependent Choice $(sfDC)$ follows from "$omeg{a}_1$ is supercompact". "$omeg{a}_1$ is supercompact" also implies that $sf{AD}^{+}$, a strengthening of the Axiom of Determinacy $(sfAD)$, is equivalent to $sf{AD}_{m}athbbR$. It is shown that "$omeg{a}_1$ is supercompact" does not imply $sfAD$. The most one can hope for is Suslin co-Suslin determinacy. We show that this follows from "$omeg{a}_1$ is supercompact" and Hod Pair Capturing $(sfHPC)$, an inner-model theoretic hypothesis that imposes certain smallness conditions on the universe of sets. "$omeg{a}_1$ is supercompact" on its own implies that every Suslin co-Suslin set is the projection of a determined (in fact, homogenously Suslin) set. "$omeg{a}_1$ is supercompact" also implies all sets in the Chang model have all the usual regularity properties, like Lebesgue measurability and the Baire property.

This page was built for publication: On supercompactness of $\omega_1$

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