{"id":"arxiv/2601.08718","url":"https://arxiv.org/abs/2601.08718","tags":["math.LO"],"score":0,"title":"Strong Projective Witnesses","domain":"math.LO","source":"arxiv","authors":["Vera Fischer","Julia Millhouse"],"reviews":0,"subject":"math.LO","summary":"We show Shelah's original creature forcing from 1984 strongly preserves tight mad families. In particular, answering questions of Fischer and Friedman and Friedman and Zdomskyy, we show the constellation $\\aleph_1 = \\mathfrak{a} < \\mathfrak{s} = \\aleph_2$ is consistent with the existence of a $Δ_3^1$ wellorder of the reals and tight mad families of sizes $\\aleph_1, \\aleph_2$ which are $Π_1^1, Π_2^1$-definable, respectively. Each of these projective definitions is of minimal possible complexity.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-13","reactions":{}}