Journal of Symbolic Logic

The Reals in Core Models

Philip Welch

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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

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

Mathematical Reviews number (MathSciNet)
MR877855

Zentralblatt MATH identifier
0623.03050

JSTOR
links.jstor.org

Citation

Welch, Philip. The Reals in Core Models. J. Symbolic Logic 52 (1987), no. 1, 64--67. https://projecteuclid.org/euclid.jsl/1183742310


Export citation