## Journal of Symbolic Logic

### The Reals in Core Models

Philip Welch

#### Abstract

We set $\mathscr{D} = \langle\mathscr{D}, \leq_L, \tt\#\rangle$, where $\mathscr{D}$ is the set of degrees of nonconstructibility for countable sets of countable ordinals. We show how to define inductively over this structure the degrees of such sets of ordinals in $K$, the core model, and the next few core models thereafter, i.e. without reference to mice, premice or measurable cardinals.

#### Article information

Source
J. Symbolic Logic, Volume 52, Issue 1 (1987), 64-67.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183742310

Mathematical Reviews number (MathSciNet)
MR877855

Zentralblatt MATH identifier
0623.03050

JSTOR