Functional Projection and Complexity Reduction
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.17455
curl -X POST /api/v1/records/arxiv/2610.17455/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.17455/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'