Adding a non-reflecting weakly compact set

Abstract: For

n < o m e g a

, we say that the

P i_{n}^{1}

-reflection principle holds at

k a p p a

and write

e x t {R e f l}_{n} (k a p p a)

if and only if

k a p p a

is a

P i_{n}^{1}

-indescribable cardinal and every

P i_{n}^{1}

-indescribable subset of

k a p p a

has a

P i_{n}^{1}

-indescribable proper initial segment. The

P i_{n}^{1}

-reflection principle

e x t {R e f l}_{n} (k a p p a)

generalizes a certain stationary reflection principle and implies that

k a p p a

is

P i_{n}^{1}

-indescribable of order

o m e g a

. 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

k a p p a

is

(a l p h a + 1)

-weakly compact where

a l p h a < k a p p a^{+}

, then there is a forcing extension in which there is a weakly compact set

W s u b s e t e q k a p p a

having no weakly compact proper initial segment, the class of weakly compact cardinals is preserved and

k a p p a

remains

(a l p h a + 1)

-weakly compact. Additionally, we prove a resurrection result for the

P i_{1}^{1}

-reflection principle.

This page was built for publication: Adding a non-reflecting weakly compact set