Properties of Laver forcing associated with a co-ideal expressed via the Katetov order
We study variants of classical Laver forcing defined from co-ideals and analyze their combinatorial properties in terms of the Katětov order. In particular, we give a Katětov-theoretic characterization of when Laver forcing associated with a co-ideal adds Cohen reals, and we show that such forcings never add random reals. Improving a result of Błaszczyk and Shelah we prove that the addition of Cohen reals and the Laver property are not equivalent, even in the case of ultrafilters. As an application, we investigate the problem of adding half Cohen reals without adding Cohen reals via…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.09061
curl -X POST /api/v1/records/arxiv/2601.09061/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.09061/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'