Hostname: page-component-8448b6f56d-cfpbc Total loading time: 0 Render date: 2024-04-23T20:48:04.862Z Has data issue: false hasContentIssue false

A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY

Part of: Set theory

Published online by Cambridge University Press:  22 June 2020

BRENT CODY*
Affiliation:
DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS VIRGINIA COMMONWEALTH UNIVERSITY 1015 FLOYD AVENUE, PO BOX 842014 RICHMOND, VA23284, USAE-mail: bmcody@vcu.eduURL: http://www.people.vcu.edu/bmcody

Abstract

We study large cardinal properties associated with Ramseyness in which homogeneous sets are demanded to satisfy various transfinite degrees of indescribability. Sharpe and Welch [25], and independently Bagaria [1], extended the notion of $\Pi ^1_n$ -indescribability where $n<\omega $ to that of $\Pi ^1_\xi $ -indescribability where $\xi \geq \omega $ . By iterating Feng’s Ramsey operator [12] on the various $\Pi ^1_\xi $ -indescribability ideals, we obtain new large cardinal hierarchies and corresponding nonlinear increasing hierarchies of normal ideals. We provide a complete account of the containment relationships between the resulting ideals and show that the corresponding large cardinal properties yield a strict linear refinement of Feng’s original Ramsey hierarchy. We isolate Ramsey properties which provide strictly increasing hierarchies between Feng’s $\Pi _\alpha $ -Ramsey and $\Pi _{\alpha +1}$ -Ramsey cardinals for all odd $\alpha <\omega $ and for all $\omega \leq \alpha <\kappa $ . We also show that, given any ordinals $\beta _0,\beta _1<\kappa $ the increasing chains of ideals obtained by iterating the Ramsey operator on the $\Pi ^1_{\beta _0}$ -indescribability ideal and the $\Pi ^1_{\beta _1}$ -indescribability ideal respectively, are eventually equal; moreover, we identify the least degree of Ramseyness at which this equality occurs. As an application of our results we show that one can characterize our new large cardinal notions and the corresponding ideals in terms of generic elementary embeddings; as a special case this yields generic embedding characterizations of $\Pi ^1_\xi $ -indescribability and Ramseyness.

Type
Articles
Copyright
© The Association for Symbolic Logic 2020

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

Bagaria, J., Derived topologies on ordinals and stationary reflection . Transactions of the American Mathematical Society, vol. 371 (2019), no. 3, pp. 19812002.CrossRefGoogle Scholar
Baumgartner, J. E., Ineffability properties of cardinals. I . Colloquia Mathematica Societatis Janos Bolyai, vol. 10 (1975), pp. 109130.Google Scholar
Baumgartner, J. E., Ineffability properties of cardinals. II, Logic, Foundations of Mathematics and Computability Theory, Part I, University of Western Ontario Series in Philosophy of Science, vol. 9, Reidel, Dordrecht, 1977, pp. 87106.CrossRefGoogle Scholar
Brickhill, H., Generalising the notions of closed unbounded and stationary set , Ph.D. thesis, University of Bristol.Google Scholar
Brickhill, H. and Welch, P. D., Generalisations of stationarity, closed and unboundedness and of Jensen’s , preprint.Google Scholar
Carmody, E., Gitman, V., and Habič, M., A Mitchell-like order for Ramsey and Ramsey-like cardinals. Fundamenta Mathematicae , vol. 248 (2020), no. 1, pp. 132.CrossRefGoogle Scholar
Cody, B. and Gitman, V., Easton’s theorem for Ramsey and strongly Ramsey cardinals . Annals of Pure and Applied Logic, vol. 166 (2015), no. 9, pp. 934952.CrossRefGoogle Scholar
Erdős, P. and Hajnal, A., On the structure of set-mappings . Acta Mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 111131.CrossRefGoogle Scholar
Erdős, P. and Rado, R., Combinatorial theorems on classifications of subsets of a given set . Proceedings of the London Mathematical Society, vol. 2 (1952), no. 3, pp. 417439.CrossRefGoogle Scholar
Erdős, P. and Rado, R., A partition calculus in set theory . Bulletin of the American Mathematical Society, vol. 62 (1956), pp. 427489.CrossRefGoogle Scholar
Erdős, P. and Tarski, A., On families of mutually exclusive sets . Annals of Mathematics, vol. 44 (1943), no. 2, pp. 315329.CrossRefGoogle Scholar
Feng, Q., A hierarchy of Ramsey cardinals . Annals of Pure and Applied Logic, vol. 49 (1990), no. 3, pp. 257277.CrossRefGoogle Scholar
Foreman, M., Ideals and generic elementary embeddings , Handbook of Set Theory, Springer, Dordrecht, 2010, pp. 8851147.CrossRefGoogle Scholar
Gitman, V., Applications of the Proper Forcing Axiom to Models of Peano Arithmetic, ProQuest LLC, Ph.D. thesis, City University of New York, Ann Arbor, MI, 2007.Google Scholar
Gitman, V., Ramsey-like cardinals , this Journal, vol. 76 (2011), no. 2, pp. 519540.Google Scholar
Gitman, V. and Welch, P. D., Ramsey-like cardinals II , this Journal, vol. 76 (2011), no. 2, pp. 541560.Google Scholar
Holy, P. and Lücke, P., Small models, large cardinals, and induced ideals, preprint.Google Scholar
Holy, P., Lücke, P., and Njegomir, A., Small embedding characterizations for large cardinals . Annals of Pure and Applied Logic, vol. 170 (2019), no. 2, pp. 251271.CrossRefGoogle Scholar
Holy, P. and Schlicht, P., A hierarchy of Ramsey-like cardinals . Fundamenta Mathematicae, vol. 242 (2018), no. 1, pp. 4974.CrossRefGoogle Scholar
Jech, T., Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.Google Scholar
Kanamori, A., The Higher Infinite, Large Cardinals in Set Theory from Their Beginning , Springer Monographs in Mathematics, second ed., Springer-Verlag, Berlin, 2003.Google Scholar
Mitchell, W., Ramsey cardinals and constructibility , this Journal vol. 44 (1979), no. 2, pp. 260266.Google Scholar
Nielsen, D. S. and Welch, P., Games and Ramsey-like cardinals , this Journal, vol. 84 (2019), no. 1, pp. 408437.Google Scholar
Ramsey, F. P., On a problem of formal logic . Proceedings of the London Mathematical Society, vol. 30 (1929), no. 4, pp. 264286.Google Scholar
Sharpe, I. and Welch, P. D., Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties . Annals of Pure and Applied Logic, vol. 162 (2011), no. 11, pp. 863902.CrossRefGoogle Scholar
Weiss, C., The combinatorial essence of supercompactness . Annals of Pure and Applied Logic, vol. 163 (2012), no. 11, pp. 17101717.CrossRefGoogle Scholar