{"id":"arxiv/2610.17455","url":"https://arxiv.org/abs/2610.17455","tags":["math.LO"],"score":0,"title":"Functional Projection and Complexity Reduction","domain":"math.LO","source":"arxiv","authors":["Vera Fischer","Yurii Khomskii","Yipu Li","Julia Millhouse"],"reviews":0,"subject":"math.LO","summary":"Törnquist (arXiv:1310.3250) proved that if there exists a $\\boldsymbolΣ^1_2$ maximal almost disjoint (MAD) family, then there exists a $\\boldsymbolΠ^1_1$ MAD family. Since then, several other \"complexity reduction\" proofs have been found for other combinatorial objects, such as maximal independent families or ultrafilters. All of these proofs have relied on $\\boldsymbolΠ^1_1$-uniformization, so they did not easily lift to higher projective levels. In this paper, we introduce a principle weaker than Uniformization which we call \"Functional Projection\", and show that this principle is…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}