Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-28T02:02:55.465Z Has data issue: false hasContentIssue false
  • English
  • Français

THE HARRINGTON–SHELAH MODEL WITH LARGE CONTINUUM

Published online by Cambridge University Press:  22 February 2019

THOMAS GILTON  and
JOHN KRUEGER
THOMAS GILTON
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF CALIFORNIA, LOS ANGELES BOX 951555, LOS ANGELES CA90095-1555, USAE-mail: [email protected]
JOHN KRUEGER
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF NORTH TEXAS 1155 UNION CIRCLE #311430 DENTON, TX76203, USAE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove from the existence of a Mahlo cardinal the consistency of the statement that 2ω = ω3 holds and every stationary subset of ${\omega _2}\mathop \cap \nolimits {\rm{cof}}\left( \omega \right)$ reflects to an ordinal less than ω2 with cofinality ω1.

Keywords

Primary 03E35Secondary 03E40forcingstationary set reflectionmixed support forcing iteration
Type
Articles
Information
The Journal of Symbolic Logic , Volume 84 , Issue 2 , June 2019 , pp. 684 - 703
Copyright
Copyright © The Association for Symbolic Logic 2019 

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

Abraham, U., Aronszajn trees on ${\aleph _2}$and .${\aleph _3}$. Annals of Pure and Applied Logic, vol. 24 (1983), no. 3, pp. 213–230.Google Scholar
Gilton, T. and Krueger, J., A note on the eightfold way, 2019, preprint, arXiv:1901.02940.Google Scholar
Harrington, L. and Shelah, S., Some exact equiconsistency results in set theory. Notre Dame Journal Formal Logic, vol. 25 (1985), no. 2, pp. 178–188.Google Scholar
Mitchell, W., Aronszajn trees and the independence of the transfer property. Annals of Mathematical Logic, vol. 5 (1972/73), pp. 21–46.Google Scholar
Veličković, Forcing axioms and cardinal arithmetic, Logic Colloquium 2006 (Cooper, S. B., Geuvers, H., Pillay, A., and Väänänen, J., editors), Lecture Notes in Logic, vol. 32, Association for Symbolic Logic, Chicago, IL, 2009, pp. 328–360.Google Scholar