Generic Large Cardinals and Systems of Filters
Logic
2017-04-06 v2
Abstract
We introduce the notion of -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.
Cite
@article{arxiv.1511.05326,
title = {Generic Large Cardinals and Systems of Filters},
author = {Giorgio Audrito and Silvia Steila},
journal= {arXiv preprint arXiv:1511.05326},
year = {2017}
}
Comments
36 pages