The Ostaszewski square and homogeneous Souslin trees

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: Assume GCH and let

l a m b d a

denote an uncountable cardinal. We prove that if

s q u a r e_{l} a m b d a

holds, then this may be witnessed by a coherent sequence

< C_{a} l p h a | a l p h a < l a m b d a^{+} >

with the following remarkable guessing property: For every sequence

< A_{i} | i < l a m b d a >

of unbounded subsets of

l a m b d a^{+}

, and every limit

h e t a < l a m b d a

, there exists some

a l p h a < l a m b d a^{+}

such that

o t p (C_{a} l p h a) = h e t a

, and the

(i + 1)_{t h}

-element of

C_{a} l p h a

is a member of

A_{i}

, for all

i < h e t a

. As an application, we construct an homogenous

l a m b d a^{+}

-Souslin tree from

G C H + s q u a r e_{l} a m b d a

, for every singular cardinal

l a m b d a

. In addition, as a by-product, a theorem of Farah and Velickovic, and a theorem of Abraham, Shelah and Solovay are generalized to cover the case of successors of regulars.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: The Ostaszewski square and homogeneous Souslin trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2017149)