English

Adding a non-reflecting weakly compact set

Logic 2021-04-29 v6

Abstract

For n<ωn<\omega, we say that the Πn1\Pi^1_n-reflection principle holds at κ\kappa and write Refln(κ)\text{Refl}_n(\kappa) if and only if κ\kappa is a Πn1\Pi^1_n-indescribable cardinal and every Πn1\Pi^1_n-indescribable subset of κ\kappa has a Πn1\Pi^1_n-indescribable proper initial segment. The Πn1\Pi^1_n-reflection principle Refln(κ)\text{Refl}_n(\kappa) generalizes a certain stationary reflection principle and implies that κ\kappa is Πn1\Pi^1_n-indescribable of order ω\omega. We define a forcing which shows that the converse of this implication can be false in the case n=1n=1. Moreover, we prove that if κ\kappa is (α+1)(\alpha+1)-weakly compact where α<κ+\alpha<\kappa^+, then there is a forcing extension in which there is a weakly compact set WκW\subseteq\kappa having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and κ\kappa remains (α+1)(\alpha+1)-weakly compact. Additionally, we prove a resurrection result for the Π11\Pi^1_1-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