An extension of Subcomplete Forcing Axiom which implies diamondsuit⁺

@misc{sakai2026extension,
  title = {{An extension of Subcomplete Forcing Axiom which implies $\diamondsuit^+$}},
  author = {Hiroshi Sakai},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.16881},
  eprint = {2609.16881},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.16881},
  note = {CC BY 4.0},
}

TY  - UNPB
TI  - An extension of Subcomplete Forcing Axiom which implies diamondsuit^+
AU  - Hiroshi Sakai
PY  - 2026
DA  - 2026/09/15
PB  - arXiv
DO  - 10.48550/arxiv.2609.16881
UR  - https://arxiv.org/abs/2609.16881
AB  - We prove that the Subcomplete Forcing Axiom is consistent with diamondsuit^+.
ER  -