Universal domination and idealized forcing
We introduce the universality property of a definable $σ$-ideal on a Polish space, which, on one hand, can serve as a benchmark for the properness of the associated idealized forcing of positive Borel sets ordered by inclusion, and, on the other hand, unifies many of the results that can be found in Zapletal's book. We show that under mild absoluteness assumptions, it implies properness, various dichotomy theorems, and closure under well-ordered unions in the Solovay model and under $\mathsf{AD}^+$, among other things. All major classes of proper idealized forcings studied in the book have…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.18964
curl -X POST /api/v1/records/arxiv/2608.18964/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.18964/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'