REVIEW 1 cited by
Adding a non-reflecting weakly compact set
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
abstract
For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a $\Pi^1_n$-indescribable proper initial segment. The $\Pi^1_n$-reflection principle $\text{Refl}_n(\kappa)$ generalizes a certain stationary reflection principle and implies that $\kappa$ is $\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=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 $\Pi^1_1$-reflection principle.
Forward citations
Cited by 1 Pith paper
-
Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$
In Gödel's constructible universe L, a regular cardinal reflects γ-stationary sets exactly when it is Π^1_γ-indescribable, and new square sequences witness the failure when it is not.
Discussion (0). Continue with ORCID to comment.