Papers
Topics
Authors
Recent
Search
2000 character limit reached

Adding a non-reflecting weakly compact set

Published 16 Jan 2017 in math.LO | (1701.04358v6)

Abstract: For $n<\omega$, we say that the $\Pi1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi1_n$-indescribable cardinal and every $\Pi1_n$-indescribable subset of $\kappa$ has a $\Pi1_n$-indescribable proper initial segment. The $\Pi1_n$-reflection principle $\text{Refl}_n(\kappa)$ generalizes a certain stationary reflection principle and implies that $\kappa$ is $\Pi1_n$-indescribable of order $\omega$. We define a forcing which shows that the converse of this implication can be false in the case $n=1$. Moreover, we prove that if $\kappa$ is $(\alpha+1)$-weakly compact where $\alpha<\kappa+$, then there is a forcing extension in which there is a weakly compact set $W\subseteq\kappa$ having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and $\kappa$ remains $(\alpha+1)$-weakly compact. Additionally, we prove a resurrection result for the $\Pi1_1$-reflection principle.

Summary

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.

Authors (1)

Collections

Sign up for free to add this paper to one or more collections.