Strong partition cardinals and determinacy in \(K(\mathbb R)\) (Q2257111)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Strong partition cardinals and determinacy in \(K(\mathbb R)\) |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong partition cardinals and determinacy in \(K(\mathbb R)\) |
scientific article |
Statements
Strong partition cardinals and determinacy in \(K(\mathbb R)\) (English)
0 references
23 February 2015
0 references
\textit{A. S. Kechris} and \textit{W. H. Woodin} [in: Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL). 355--378 (2008; Zbl 1194.03038)] showed that, assuming ZF + DC, the Axiom of Determinacy (AD) holds in \(L(\mathbb R)\) if and only if \(L(\mathbb{R})\models \forall \lambda<\theta \;\exists \kappa>\lambda \;\kappa \to (\kappa)^\kappa\). Here, \(\theta\) is the supremum of those ordinals which are the surjective images of \(\mathbb R\), and \(\kappa \to (\kappa)^\kappa\) denotes the statement that for every colouring of all \(\kappa\)-sized subsets of \(\kappa\) by two colours there is a \textit{monochromatic } set \(A\subseteq \kappa\) of size \(\kappa\), i. e. set all of whose \(\kappa\)-sized subsets are coloured by the same colour. The paper under review shows that the same is true for the \textit{real core model \(K(\mathbb R)\)}. The core model \(K\) was introduced by \textit{A. Dodd} and \textit{R. Jensen} [Ann. Math. Logic 20, 43--75 (1981; Zbl 0457.03051)] as a natural extension of Gödel's constructible universe \(L\) accomodating large cardinals. The real core model \(K(\mathbb R)\) relates to \(K\) in the same way as \(L(\mathbb R)\) relates to \(L\).
0 references
descriptive set theory
0 references
scales
0 references
determinacy
0 references
strong partition cardinals
0 references
0.8228564
0 references
0.8064742
0 references
0 references
0.7624673
0 references
0 references
0.7458109
0 references
0.7381775
0 references
0.7331479
0 references