Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.12736 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- We generalize the diamond principle and its variants using the notion of stationarity in trees introduced by Brodsky in [Brodsky, A. M., A theory of stationary trees and the balanced Baumgartner--Hajnal--Todorcevic theorem for trees. The Bulletin of Symbolic Logic]. In particular, we show that if $T$ is a nonspecial $ω_1$-tree, then $\diamondsuit_T \implies \diamondsuit$, and if $T$ is a Suslin tree, then $\diamondsuit_T \iff \diamondsuit$. We also prove that $\diamondsuit^*$ implies $\diamondsuit_T$ (yielding the consistency of $\diamondsuit_T$) and establish the consistency of $\neg\diamondsuit^* + (\forall T\text{ nonspecial }ω_1\text{-tree }(\diamondsuit_T))$. Finally, we demonstrate that it is consistent with $\diamondsuit$ that there exists a nonspecial $ω_1$-tree with $(\neg\diamondsuit_T)$, introducing two forcing properties -- $σ(S)$-closed and strategically closed in models -- which are preserved under countable support iterations.