Club isomorphisms on higher Aronszajn trees

DOI10.1016/J.APAL.2018.05.003zbMATH Open1445.03053arXiv1708.00528OpenAlexW2963616402WikidataQ129761254 ScholiaQ129761254MaRDI QIDQ720758FDOQ720758

John Krueger

Publication date: 17 July 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed $omeg{a}_2$-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal $omeg{a}_1$-Aronszajn trees are club isomorphic, which follows from $extsfPFA$. The statement that any two normal countably closed $omeg{a}_2$-Aronszajn trees are club isomorphic implies that there are no $omeg{a}_2$-Suslin trees, so our proof also expands on the method of Laver-Shelah for obtaining the $omeg{a}_2$-Suslin hypothesis.

Full work available at URL: https://arxiv.org/abs/1708.00528

Recommendations

• Isomorphisms of Trees
• Club-guessing and non-structure of trees
• The tree property
• scientific article
• scientific article; zbMATH DE number 24341

zbMATH Keywords

Aronszajn treeineffable cardinalside conditionsSuslin's hypothesisclub isomorphism

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

Cites Work

• Set theory.
• Iterated Cohen extensions and Souslin's problem
• 𝐼[𝜔₂] can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)
• Isomorphism types of Aronszajn trees
• Title not available (Why is that?)
• Quotients of strongly proper forcings and guessing models
• The ℵ 2 \1-Souslin Hypothesis

Cited In (7)

• Specialising Aronszajn trees by countable approximations
• Club stationary reflection and the special Aronszajn tree property
• Some results on non-club isomorphic Aronszajn trees
• Isomorphisms of Trees
• On the complexity of classes of uncountable structures: trees on $\aleph _1$
• A large pairwise far family of Aronszajn trees
• Potential isomorphism and semi-proper trees

This page was built for publication: Club isomorphisms on higher Aronszajn trees

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