On \(\kappa\)-compact cardinals (Q2190057)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(\kappa\)-compact cardinals |
scientific article |
Statements
On \(\kappa\)-compact cardinals (English)
0 references
18 June 2020
0 references
A cardinal \(\kappa\) is \textit{\(\kappa\)-compact} if any \(\kappa\)-complete filter over \(\kappa\) (meaning a filter on the algebra \(\mathcal{P}(\kappa)\)) can be extended to a \(\kappa\)-complete ultrafilter. Clearly a \(2^\kappa\)-strongly compact (or supercompact) \(\kappa\) will be \(\kappa\)-compact, but it is not obvious what the exact consistency or implicational strength of \(\kappa\)-compactness is. \textit{W. Mitchell} [Stud. Logic Found. Math. 97, 303--316 (1979; Zbl 0439.03040)] wondered whether \(o(\kappa)=\kappa^{++}\) was sufficient, but the author showed in prior work [Ann. Pure Appl. Logic 63, No. 3, 227--240 (1993; Zbl 0786.03037)] that at least a strong cardinal is required. In this paper, some variations of \(\kappa\)-compactness are considered and some applications provided. The first application shows that, assuming \(\kappa\) is \(\kappa\)-compact and GCH holds, there is a cardinal-preserving forcing extension adding generic for all \(<\kappa\)-distributive forcings of size \(\kappa\) from the ground model. The argument is quite clever, focusing on the filter of dense open subsets of a given \(<\kappa\)-distributive forcing notion \(\mathbb{Q}\). This will be a \(\kappa\)-complete filter, so it can be completed to a \(\kappa\)-complete ultrafilter. The key idea is that, essentially, adding a Prikry sequence for this ultrafilter will add a generic for \(\mathbb{Q}\). The actual proof uses an extender-based forcing to add Prikry sequences for all these ultrafilters simultaneously. Next, core model techniques are used to show that if a \(\kappa\)-compact cardinal \(\kappa\) exists, then there is an inner model with a Woodin cardinal. The author comments that this result is superseded by \textit{Y. Hayut}'s discovery [Fundam. Math. 246, No. 2, 193--204 (2019; Zbl 1480.03050)] that a \(\kappa\)-compact cardinal is equiconsistent with a \(\Pi^1_1\)-subcompact cardinal. Finally, some weakenings of \(\kappa\)-compactness are considered. Specifically, \(\kappa\) is said to be \textit{weakly \(\kappa\)-compact} if the club filter on \(\kappa\), restricted to any stationary set, can be extended to a \(\kappa\)-complete ultrafilter. Core model theory and forcing arguments are combined to show that the existence of a weakly \(\kappa\)-compact cardinal is equiconsistent with a weak repeat point existing on the coherent measure sequence in the core model. Surprisingly, the author mentions another result of \textit{Y. Hayut} [Proc. Am. Math. Soc. 148, No. 7, 3129--3133 (2020; Zbl 1460.03018)]: if we strengthen the definition of weak \(\kappa\)-compactness to work for any normal \(\kappa\)-complete filter, then the resulting large cardinal notion is just equivalent to full \(\kappa\)-compactness.
0 references
\(\kappa\)-compact cardinal
0 references
weak repeat points
0 references