A forcing axiom for a non-special Aronszajn tree

DOI10.1016/J.APAL.2020.102820zbMATH Open1481.03053arXiv1805.08164OpenAlexW3022706439WikidataQ114016287 ScholiaQ114016287MaRDI QIDQ2187271FDOQ2187271

Authors: John Krueger 

Publication date: 2 June 2020

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

Abstract: Suppose that $T^{*}$ is an $omeg{a}_1$-Aronszajn tree with no stationary antichain. We introduce a forcing axiom PFA($T^{*}$) for proper forcings which preserve these properties of $T^{*}$. We prove that PFA($T^{*}$) 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^{*}$) implies some of the consequences of diamond principles, such as the existence of Knaster forcings which are not stationarily Knaster.

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

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

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)

Cites Work

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

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)