Sealed Trees and the Perfect Subtree Property for Weakly Compact - PowerPoint PPT Presentation

Sealed Trees and the Perfect Subtree Property for Weakly Compact Cardinals Sandra M¨ uller Universit¨ at Wien November 1, 2019 Joint with Yair Hayut Rutgers MAMLS 2019 Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 1

κ A B A - e T F N l o r i r o e w B a s n M e n t n a - o s W o d d L l u a s u o o o n n S s m d w o d e e s e d e a U r i s l n e t p B d i c p c o a e T u r r r d n e d i e - s Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 2

κ -Trees Definition Let κ be a regular cardinal. A tree T of height κ is called a normal κ -tree if each level of T has size <κ , every node splits, for every t ∈ T and α < κ above the height of t , there is some t ′ of level α in T such that t < T t ′ , and for every limit ordinal α < κ and every branch up to α there is at most one least upper bound in T . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 3

The Branch Spectrum Definition Let κ be a regular cardinal. The Branch Spectrum of κ is the set S κ = {| [ T ] | | T is a normal κ -tree } . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 4

The Branch Spectrum Definition Let κ be a regular cardinal. The Branch Spectrum of κ is the set S κ = {| [ T ] | | T is a normal κ -tree } . Examples S ω = { 2 ℵ 0 } . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 4

The Branch Spectrum Definition Let κ be a regular cardinal. The Branch Spectrum of κ is the set S κ = {| [ T ] | | T is a normal κ -tree } . Examples S ω = { 2 ℵ 0 } . For κ > ω , there are no κ -Kurepa trees iff max( S κ ) = κ . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 4

The Branch Spectrum Definition Let κ be a regular cardinal. The Branch Spectrum of κ is the set S κ = {| [ T ] | | T is a normal κ -tree } . Examples S ω = { 2 ℵ 0 } . For κ > ω , there are no κ -Kurepa trees iff max( S κ ) = κ . For κ > ℵ 1 of uncountable cofinalty, tree property holds at κ iff min( S κ ) = κ . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 4

Upper Bounds Let κ > ℵ 1 . Branch Spectrum Upper bound max( S κ ) = κ or κ + / ∈ S κ inaccessible cardinal Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 5

Upper Bounds Let κ > ℵ 1 . Branch Spectrum Upper bound max( S κ ) = κ or κ + / ∈ S κ inaccessible cardinal min( S κ ) = κ weakly compact cardinal Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 5

Upper Bounds Let κ > ℵ 1 . Branch Spectrum Upper bound max( S κ ) = κ or κ + / ∈ S κ inaccessible cardinal min( S κ ) = κ weakly compact cardinal κ + / ∈ S κ and min( S κ ) = κ ? Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 5

Upper Bounds Let κ > ℵ 1 . Branch Spectrum Upper bound max( S κ ) = κ or κ + / ∈ S κ inaccessible cardinal min( S κ ) = κ weakly compact cardinal κ + / ∈ S κ and min( S κ ) = κ ? The following gives an upper bound. Proposition Let κ be <µ -supercompact, where µ is strongly inaccessible. Then, there is a forcing extension in which κ is weakly compact, S κ = { κ, κ ++ } . Proof idea: Consider Col( κ, <µ ) × Add( κ, µ + ) . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 5

Upper Bounds Let κ > ℵ 1 . Branch Spectrum Upper bound max( S κ ) = κ or κ + / ∈ S κ inaccessible cardinal min( S κ ) = κ weakly compact cardinal κ + / ∈ S κ and min( S κ ) = κ ? The following gives an upper bound. Proposition Let κ be <µ -supercompact, where µ is strongly inaccessible. Then, there is a forcing extension in which κ is weakly compact, S κ = { κ, κ ++ } . Proof idea: Consider Col( κ, <µ ) × Add( κ, µ + ) . Question Is this optimal? Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 5

κ A B A - e T F N l o r i r o e w B a s n M e n t n a - o s W o d d L l u a s u o o o n n S s m d w o d e e s e d e a U r i s l n e t p B d i c p c o a e T u r r r d n e d i e - s Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 6

A First Lower Bound and Sealed Trees If for some weakly compact cardinal κ , κ + / ∈ S κ then 0 # exists: Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

A First Lower Bound and Sealed Trees If for some weakly compact cardinal κ , κ + / ∈ S κ then 0 # exists: Fact (essentially Solovay) If 0 # does not exists then every weakly compact cardinal carries a tree with κ + many branches. Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

A First Lower Bound and Sealed Trees If for some weakly compact cardinal κ , κ + / ∈ S κ then 0 # exists: Fact (essentially Solovay) If 0 # does not exists then every weakly compact cardinal carries a tree with κ + many branches. The tree actually has the following stronger property. Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

A First Lower Bound and Sealed Trees If for some weakly compact cardinal κ , κ + / ∈ S κ then 0 # exists: Fact (essentially Solovay) If 0 # does not exists then every weakly compact cardinal carries a tree with κ + many branches. The tree actually has the following stronger property. Definition Let κ be a regular cardinal. A normal tree T of height κ is strongly sealed if the set of branches of T cannot be modified by set forcing that forces cf( κ ) > ω . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

A First Lower Bound and Sealed Trees The tree actually has the following stronger property. Definition Let κ be a regular cardinal. A normal tree T of height κ is strongly sealed if the set of branches of T cannot be modified by set forcing that forces cf( κ ) > ω . Strongly sealed trees with κ many branches exist in ZFC : Take T ⊆ 2 <κ to be the tree of all x such that { α ∈ dom( x ) | x ( α ) = 1 } is finite. Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

A First Lower Bound and Sealed Trees The tree actually has the following stronger property. Definition Let κ be a regular cardinal. A normal tree T of height κ is strongly sealed if the set of branches of T cannot be modified by set forcing that forces cf( κ ) > ω . Strongly sealed trees with κ many branches exist in ZFC : Take T ⊆ 2 <κ to be the tree of all x such that { α ∈ dom( x ) | x ( α ) = 1 } is finite. Question How about strongly sealed κ -trees with at least κ + many branches? Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 7

κ A B A - e T F N l o r i r o e w B a s n M e n t n a - o s W o d d L l u a s u o o o n n S s m d w o d e e s e d e a U r i s l n e t p B d i c p c o a e T u r r r d n e d i e - s Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 8

A Sealed Tree in K Theorem (Hayut, M.) Let us assume that there is no inner model with a Woodin cardinal. Then for every inaccessible cardinal κ , there is a strongly sealed κ -tree with exactly ( κ + ) K many branches. In particular, if κ is weakly compact, then there is a strongly sealed tree on κ with κ + many branches. Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 9

A Sealed Tree in K Theorem (Hayut, M.) Let us assume that there is no inner model with a Woodin cardinal. Then for every inaccessible cardinal κ , there is a strongly sealed κ -tree with exactly ( κ + ) K many branches. In particular, if κ is weakly compact, then there is a strongly sealed tree on κ with κ + many branches. Proof idea: Construct a κ -tree T in K with | [ T ] | ≥ ( κ + ) K . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 9

Construction of the Tree Let T ( K κ + ) be the following tree: Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 9

Construction of the Tree Let T ( K κ + ) be the following tree: Nodes: � ¯ x � , where ¯ M = trcl(Hull K κ + ( ρ ∪ { x } )) for some ρ < κ , M, ¯ x ∈ K κ + ∩ κ 2 and x collapses to ¯ x . Sandra M¨ uller (Universit¨ at Wien) Sealed Trees and PSP for Weakly Compacts November 1, 2019 9