Hostname: page-component-848d4c4894-89wxm Total loading time: 0 Render date: 2024-07-08T02:38:37.807Z Has data issue: false hasContentIssue false

Full reflection at a measurable cardinal

Published online by Cambridge University Press:  12 March 2014

Thomas Jech
Affiliation:
Department of Mathematics, The Pennsylvania State University, University Park, Pennsylvania 16802, E-mail: jech@math.psu.edu
Jiří Witzany
Affiliation:
Department of Mathematics, The Pennsylvania State University, University Park, Pennsylvania 16802, E-mail: witzany@math.psu.edu

Abstract

A stationary subset S of a regular uncountable cardinal κreflects fully at regular cardinals if for every stationary set Tκ of higher order consisting of regular cardinals there exists an α Є T such that Sα is a stationary subset of α. Full Reflection states that every stationary set reflects fully at regular cardinals. We will prove that under a slightly weaker assumption than κ having the Mitchell order κ++ it is consistent that Full Reflection holds at every λκ and κ is measurable.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1994

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

[Ba85] Baldwin, S., The ⊲-ordering on normal ultrafilters, this Journal, vol. 51 (1985), pp. 936952.Google Scholar
[BTW76] Baumgartner, J., Taylor, A., and Wagon, S., On splitting stationary subsets of large cardinals, this Journal, vol. 42 (1976), pp. 203214.Google Scholar
[Cu92a] Cummings, J., Possible behaviors for the Mitchell ordering, Annals of Pure and Applied Logic (to appear).Google Scholar
[Cu92b] Cummings, J., Possible behaviors for the Mitchell ordering II, preliminary version.Google Scholar
[HS85] Harrington, L. and Shelah, S., Some exact equiconsistency results in set theory, Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 178188.Google Scholar
[J84] Jech, T., Stationary subsets of inaccessible cardinals, Axiomatic set theory, Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984, pp. 115141.Google Scholar
[J86] Jech, T., Multiple Forcing, Cambridge University Press, London and New York, 1986.Google Scholar
[JMa80] Jech, T., Magidor, M., Mitchell, W., and Prikry, K., Precipitous ideals, this Journal, vol. 45 (1980), pp. 18.Google Scholar
[JS90] Jech, T. and Shelah, S., Full reflection of stationary sets below ℵ ω , this Journal, vol. 55 (1990), pp. 822829.Google Scholar
[JS92] Jech, T. and Shelah, S., Full reflection of stationary sets at regular cardinals, American Journal of Mathematics (to appear).Google Scholar
[JWo85] Jech, T. and Woodin, W. H., Saturation of the closed unbounded filter on the set of regular cardinals, Transactions of the American Math Society, vol. 292 (1985), pp. 345356.Google Scholar
[M82] Magidor, M., Reflecting stationary sets, this Journal, vol. 47 (1982), pp. 755771.Google Scholar
[Mi74] Mitchell, W. J., Sets constructible from sequences of ultrafilters, this Journal, vol. 39 (1974), pp. 5766.Google Scholar
[Mi80] Mitchell, W. J., How weak is a closed unbounded filter?, Logic Colloquium '80 (van Dalen, D., Lascar, D., and Smiley, J., editors), North-Holland, Amsterdam, 1982.Google Scholar
[Mi83] Mitchell, W. J., Sets constructible from sequences of measures: revisited, this Journal, vol. 48 (1983), pp. 600609.Google Scholar
[Ra82] Radin, L. B., Adding closed cofinal sequences to large cardinals, Annals of Mathematical Logic, vol. 22 (1982), pp. 243261.Google Scholar
[Wo92] Woodin, H., personal communication.Google Scholar
[WoC92] Woodin, H. and Cummings, J., Generalised Prikry Forcings, in preparation.Google Scholar