A forcing axiom for a non-special Aronszajn tree

DOI10.1016/J.APAL.2020.102820MaRDI QIDQ2187271zbMATH OpenOpenAlexWikidataFDO

Authors John Krueger

Publication date 2 June 2020

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

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

zbMATH Keywords

Aronszajn tree\textsf{PFA}\((T^\ast)\)stationarily Knasterstationary antichain

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57)

Abstract: Suppose that $T^{\ast }$ is an $omeg{a}_1$-Aronszajn tree with no stationary antichain. We introduce a forcing axiom PFA($T^{\ast }$) for proper forcings which preserve these properties of $T^{\ast }$. We prove that PFA($T^{\ast }$) implies many of the strong consequences of PFA, such as the failure of very weak club guessing, that all of the cardinal characteristics of the continuum are greater than $omeg{a}_1$, and the $P$-ideal dichotomy. On the other hand, PFA($T^{\ast }$) implies some of the consequences of diamond principles, such as the existence of Knaster forcings which are not stationarily Knaster.

Recommendations

• Ascending paths and forcings that specialize higher Aronszajn trees
• Non-special Aronszajn trees on \(\aleph _{\omega +1}\)
• Specializing Aronszajn Trees and Preserving Some Weak Diamonds
• The special Aronszajn tree property
• scientific article; zbMATH DE number 24341

Cites work

• scientific article; zbMATH DE number 3885892 (Why is no real title available?)
• scientific article; zbMATH DE number 4047706 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 1548935 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• A family of covering properties
• A normal hereditarily separable non-Lindelöf space
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• An variation for one souslin tree
• Applications of cohomology to set theory. I: Hausdorff gaps
• Embedding Trees in the Rationals
• Forcing Positive Partition Relations
• Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces
• Iterated Cohen extensions and Souslin's problem
• Katětov's problem
• On the combinatorial principle P(c)
• Partition Problems in Topology
• Suslin's hypothesis does not imply stationary antichains
• \(L\)-spaces and the \(P\)-ideal dichotomy

Cited in

(11)

• P-ideal dichotomy and a strong form of the Suslin hypothesis
• A guessing principle from a Souslin tree, with applications to topology
• Specialising Aronszajn trees by countable approximations
• Extender based forcings, fresh sets and Aronszajn trees
• Specializing Aronszajn trees with strong axiom A and Halving
• Gap structure of coherent Aronszajn trees
• Consistency of Suslin's hypothesis, a nonspecial Aronszajn tree, and GCH
• Two chain conditions and their Todorčević's fragments of Martin's axiom
• Specializing Aronszajn Trees and Preserving Some Weak Diamonds
• A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees
• Ascending paths and forcings that specialize higher Aronszajn trees

This page was built for publication: A forcing axiom for a non-special Aronszajn tree

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