Article contents
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
Published online by Cambridge University Press: 08 September 2017
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.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES
- 1
- Cited by