Two-cardinal ideal operators and indescribability
Logic
2025-05-19 v5
Abstract
A well-known version of Rowbottom's theorem for supercompactness ultrafilters leads naturally to notions of two-cardinal Ramseyness and corresponding normal ideals introduced herein. Generalizing results of Baumgartner [7, 8], Feng [22] and the first author [16, 17], we study the hierarchies associated with a particular version of two-cardinal Ramseyness and a strong version of two-cardinal ineffability, as well as the relationships between these hierarchies and a natural notion of transfinite two-cardinal indescribability.
Keywords
Cite
@article{arxiv.2206.06170,
title = {Two-cardinal ideal operators and indescribability},
author = {Brent Cody and Philip White},
journal= {arXiv preprint arXiv:2206.06170},
year = {2025}
}
Comments
Fixed proof of strong normality