On supercompactness of \omega₁

DOI10.1007/978-981-16-4173-2_2arXiv1904.01815MaRDI QIDQ6316612FDOQ6316612

Daisuke Ikegami, Nam Trang

Publication date: 3 April 2019

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.

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)

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)