JEDNOSTKA NAUKOWA KATEGORII A+

Artykuły w formacie PDF dostępne są dla subskrybentów, którzy zapłacili za dostęp online, po podpisaniu licencji Licencja użytkownika instytucjonalnego. Czasopisma do 2009 są ogólnodostępne (bezpłatnie).

A note on a question of Woodin

Tom 71 / 2023

Arthur W. Apter Bulletin Polish Acad. Sci. Math. 71 (2023), 115-121 MSC: Primary 03E35; Secondary 03E25, 03E45, 03E55 DOI: 10.4064/ba230918-26-10 Opublikowany online: 30 November 2023

Streszczenie

A question of Woodin from the 1980s asks, assuming there is no inner model of ZFC with a strong cardinal, if it is possible for there to be a model $M$ of ZFC such that $M \vDash “2^{\aleph _\omega } \gt \aleph _{\omega + 2}$ and $2^{\aleph _n} = \aleph _{n + 1}$ for every $n \lt \omega $”, together with the existence of an inner model $N^* \subseteq M$ of ZFC such that for the $\gamma , \delta $ satisfying $\gamma = (\aleph _\omega )^M$ and $\delta = (\aleph _{\omega + 3})^M$, $N^* \vDash “\gamma $ is measurable and $2^\gamma \ge \delta $”. We show that this is the case for a choiceless version of Woodin’s question, where we assume AC fails in $M$ but holds in $N^*$. We also prove analogous results for $\aleph _{\omega _1}$ and $\aleph _{\omega _2}$. The methods used allow for equiconsistencies in certain cases.\looseness -1

Autorzy

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek