Adding a non-reflecting weakly compact set
Abstract
For , we say that the -reflection principle holds at and write if and only if is a -indescribable cardinal and every -indescribable subset of has a -indescribable proper initial segment. The -reflection principle generalizes a certain stationary reflection principle and implies that is -indescribable of order . We define a forcing which shows that the converse of this implication can be false in the case . Moreover, we prove that if is -weakly compact where , then there is a forcing extension in which there is a weakly compact set having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and remains -weakly compact. Additionally, we prove a resurrection result for the -reflection principle.
Keywords
Cite
@article{arxiv.1701.04358,
title = {Adding a non-reflecting weakly compact set},
author = {Brent Cody},
journal= {arXiv preprint arXiv:1701.04358},
year = {2021}
}
Comments
Edited Sections 5 and 6 to match published version. This contains a correction to the previous version