{"id":"arxiv/2609.16881","url":"https://arxiv.org/abs/2609.16881","tags":["math.LO"],"score":0,"title":"An extension of Subcomplete Forcing Axiom which implies $\\diamondsuit^+$","domain":"math.LO","source":"arxiv","authors":["Hiroshi Sakai"],"reviews":0,"subject":"math.LO","summary":"We prove that the Subcomplete Forcing Axiom is consistent with $\\diamondsuit^+$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-15","reactions":{}}