Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-20T03:23:14.799Z Has data issue: false hasContentIssue false
  • English
  • Français

The reals in core models

Published online by Cambridge University Press:  12 March 2014

Philip Welch
Philip Welch*
Affiliation:
School of Mathematics, University of Bristol, Bristol BS8 1TW, England
Get access Rights & Permissions [Opens in a new window]

Abstract

We set = ‹, ≤L , # ›, where 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 Κ, the core model, and the next few core models thereafter, i.e. without reference to mice, premice or measurable cardinals

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 1 , March 1987 , pp. 64 - 67
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[CM] Dodd, A. J., The core model, London Mathematical Society Lecture Note Series, no. 61, Cambridge University Press, Cambridge, 1982.CrossRefGoogle Scholar
[CU] Beller, A., Jensen, R. and Welch, P., Coding the universe, London Mathematical Society Lecture Note Series, no. 47, Cambridge University Press, Cambridge, 1982.CrossRefGoogle Scholar
[K] Kechris, A. S., The theory of countable analytical sets, Transactions of the American Mathematical Society, vol. 202 (1975), pp. 259–297.CrossRefGoogle Scholar
[W] Welch, Philip, The natural hierarchy and quasi-hierarchy of L-degrees, this Journal, vol. 51 (1986), pp. 130–134.Google Scholar