## Journal of Symbolic Logic

### The Complexity of the Core Model

William J. Mitchell

#### Abstract

If there is no inner model with a cardinal $\kappa$ such that $o(\kappa) = \kappa^{++}$ then the set $K \cap H_{\omega_1}$ is definable over H$_{\omega_1}$ by a $\Delta_4$ formula, and the set $\{J_\alpha[\mathscr{U}] : \alpha < \omega_1\}$ of countable initial segments of the core model $K = L[\mathscr{U}]$ is definable over $H_{\omega_1}$ by a $\Pi_3$ formula. We show that if there is an inner model with infinitely many measurable cardinals then there is a model in which $\{J_\alpha [\mathscr{U}] : \alpha < \omega_1\}$ is not definable by any $\Sigma_3$ formula, and $K \cap H_{\omega_1}$ is not definable by any boolean combination of $\Sigma_3$ formulas.

#### Article information

Source
J. Symbolic Logic, Volume 63, Issue 4 (1998), 1393-1398.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745637

Mathematical Reviews number (MathSciNet)
MR1665735

Zentralblatt MATH identifier
0926.03064

JSTOR