Indescribable cardinals without diamonds (Q1813062): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01627508 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2020974326 / rank | |||
Normal rank |
Latest revision as of 11:47, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Indescribable cardinals without diamonds |
scientific article |
Statements
Indescribable cardinals without diamonds (English)
0 references
25 June 1992
0 references
Recall the combinatorial principle \(\diamondsuit_{\kappa,E}\): There is a sequence \(\langle S_ \alpha: \alpha\in E\rangle\) such that \(\forall\alpha\in E\), \(S_ \alpha\subseteq\alpha\), and \(\forall S\subseteq\kappa\), \(\{\alpha\in E:S_ \alpha=S\cap\alpha\}\) is stationary in \(\kappa\), where \(E\) is a stationary subset of some regular cardinal \(\kappa\). Large cardinals carry \(\diamondsuit\) sequences, for example R. Jensen has shown that \(ZFC\vdash\forall\kappa(\kappa\hbox{ subtle}\to\diamondsuit_{\kappa,Reg\cap\kappa})\) , where \(Reg\) is the class of all regular cardinals. Assuming the consistency of the existence of a \(\Pi^ m_ n\) \((m\geq 1\), \(n\geq 1)\) indescribable cardinal, we construct a model in which \(\diamondsuit_{\kappa,Reg\cap\kappa}\) fails at some indescribable cardinal \(\kappa\). Moreover, the model satisfies the Generalized Continuum Hypothesis. The construction uses iterated forcing and master condition arguments together with an elementary embedding characterization of \(\Pi^ m_ n\) indescribability.
0 references
combinatorial principle
0 references
indescribable cardinal
0 references
Generalized Continuum Hypothesis
0 references
iterated forcing
0 references
elementary embedding
0 references