Hostname: page-component-7c8c6479df-ph5wq Total loading time: 0 Render date: 2024-03-28T16:15:57.405Z Has data issue: false hasContentIssue false

Successors of singular cardinals and measurability revisited

Published online by Cambridge University Press:  12 March 2014

Arthur W. Apter*
Affiliation:
Department of Mathematics, Baruch College, City University of New York, New York, New York 10010

Extract

Before the remarkable theorem of Martin and Steel [6] showing that the existence of a supercompact cardinal κ implies L[R] ⊨ ZF + AD + DC, and the later theorem of Woodin [9] showing that Con(ZFC + There exists an ω sequence of Woodin cardinals) ⇔ Con(ZF + AD + DC), much set-theoretic research was focused upon showing that the consistency of fragments of AD + DC followed from more “reasonable” hypotheses such as versions of supercompactness. A good example of this is provided by the results of [1], in which the following theorems are proven.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1990

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

[1]Apter, A., Successors of singular cardinals and measurability, Advances in Mathematics, vol. 55 (1985), pp. 228241.CrossRefGoogle Scholar
[2]Jech, T., The axiom of choice, North-Holland, Amsterdam, 1973.Google Scholar
[3]Kleinberg, E., Infinitary combinatorics and the axiom of determinateness, Lecture Notes in Mathematics, vol. 612, Springer-Verlag, Berlin, 1977.CrossRefGoogle Scholar
[4]Laver, R., Making the supercompactness of κ indestructible under κ-directed closed forcing, Israel Journal of Mathematics, vol. 29 (1978), pp. 383388.CrossRefGoogle Scholar
[5]Lévy, A. and Solovay, R., Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol. 5 (1967), pp. 234248.CrossRefGoogle Scholar
[6]Martin, D. A. and Steel, J., Iteration trees, handwritten notes.Google Scholar
[7]Mathias, A. R. D., On sequences generic in the sense of Prikry, Journal of the Australian Mathematical Society, vol. 15 (1973), pp. 409414.CrossRefGoogle Scholar
[8]Prikry, K., Changing measurable into accessible cardinals, Dissertationes Mathematicae (Rozprawy Matematyczne), vol. 68 (1970).Google Scholar
[9]Woodin, H., unpublished.Google Scholar