Pith. sign in

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

arxiv 1701.04358 v6 pith:X4XJN2D2 submitted 2017-01-16 math.LO

classification math.LO
keywords kappacompactweaklyindescribableprinciplereflectionalphaforcing
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$

    math.LO 2019-08 conditional novelty 7.0 of 10

    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.

Pith tools