Hostname: page-component-8448b6f56d-mp689 Total loading time: 0 Render date: 2024-04-19T10:19:18.168Z Has data issue: false hasContentIssue false
  • English
  • Français

GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS

Published online by Cambridge University Press:  08 September 2017

GIORGIO AUDRITO  and
SILVIA STEILA
GIORGIO AUDRITO
Affiliation:
DIPARTIMENTO DI MATEMATICAUNIVERSITÀ DEGLI STUDI DI TORINOVIA CARLO ALBERTO 10 TORINO 10123, ITALYE-mail: giorgio.audrito@unito.it
SILVIA STEILA
Affiliation:
INSTITUT FÜR INFORMATIKUNIVERSITÄT BERNNEUBRÜCKSTRASSE 10CH-3012 BERN, SWITZERLANDE-mail: steila@inf.unibe.ch
Get access Rights & Permissions [Opens in a new window]

Abstract

We introduce the notion of ${\cal C}$-system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and concise way. In this framework we investigate the topic of definability of generic large cardinals properties.

Keywords

03E55set theorylarge cardinalsgeneric large cardinalsextenderstowers
Type
Articles
Information
The Journal of Symbolic Logic , Volume 82 , Issue 3 , September 2017 , pp. 860 - 892
Copyright
Copyright © The Association for Symbolic Logic 2017 

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

Audrito, G., Generic large cardinals and absoluteness, Ph.D. thesis, University of Torino, 2016. Available at http://hdl.handle.net/2318/1557477.Google Scholar
Claverie, B., Ideals, ideal extenders and forcing axioms, Ph.D. thesis, Münster (Westfalen), 2010.Google Scholar
Cody, B. and Cox, S., Indestructibility of generically strong cardinals . Fundamenta Mathematicae, vol. 232 (2016), pp. 131–149.Google Scholar
Cox, S. and Viale, M., Martin’s maximum and tower forcing . Israel Journal of Mathematics, vol. 197 (2013), no. 1, pp. 347–376.Google Scholar
Cummings, J., Iterated forcing and elementary embeddings , Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Dordrecht, 2010, pp. 775–883.CrossRefGoogle Scholar
Dimonte, V. and Friedman, S.-D., Rank-into-rank hypotheses and the failure of GCH . Archive for Mathematical Logic, vol. 53 (2014), no. 3–4, pp. 351–366.Google Scholar
Dimonte, V. and Wu, L., A general tool for consistency results related to I1 . European Journal of Mathematics, vol. 2 (2016), no. 2, pp. 474–492.CrossRefGoogle Scholar
Foreman, M., Ideals and generic elementary embeddings , Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Dordrecht, 2010, pp. 885–1147.Google Scholar
Foreman, M., Calculating quotient algebras of generic embeddings . Israel Journal of Mathematics, vol. 193 (2013), no. 1, pp. 309–341.CrossRefGoogle Scholar
Hamkins, J. D., Kirmayer, G., and Perlmutter, N. L., Generalizations of the Kunen inconsistency . Annals of Pure and Applied Logic, vol. 163 (2012), no. 12, pp. 1872–1890.CrossRefGoogle Scholar
Jech, T., Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.Google Scholar
Kakuda, Y., On a condition for cohen extensions which preserve precipitous ideals, this JOURNAL, vol. 46 (1981), no. 02, pp. 296–300.Google Scholar
Kanamori, A., The Higher Infinite, second ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.Google Scholar
Koellner, P., Very large cardinals, preprint, 2015.Google Scholar
Larson, P. B., The Stationary Tower, University Lecture Series, vol. 32, American Mathematical Society, Providence, RI, 2004.Google Scholar
Magidor, M., Precipitous ideals and ${\bf{\Sigma }}_4^1$ sets . Israel Journal of Mathematics, vol. 35 (1980), no. 1–2, pp. 109–134.CrossRefGoogle Scholar
Suzuki, A., Non-existence of generic elementary embeddings into the ground model . Tsukuba Journal of Mathematics, vol. 22 (1998), no. 2, pp. 343–347.CrossRefGoogle Scholar
Viale, M., Category forcings, MM+++ , and generic absoluteness for the theory of strong forcing axioms . Journal of the American Mathematical Society, vol. 29 (2016), no. 3, pp. 675–728.CrossRefGoogle Scholar
Viale, M., Audrito, G., Carroy, R., and Steila, S., Notes on iterated forcing and tower forcing, preprint, 2017.Google Scholar
Viale, M., Audrito, G., and Steila, S., A boolean algebraic approach to semiproper iterations, preprint, 2014, arXiv:1402.1714.Google Scholar
Woodin, W. H., Suitable extender models II: Beyond ω-huge . Journal of Mathematical Logic, vol. 11 (2011), no. 2, pp. 115–436.Google Scholar