Two variants of minimality in forcing extensions
We introduce d-minimal and b-minimal extensions, two weakenings of minimality based respectively on eventual domination and infinitely often domination. We prove that the generic extensions obtained by the full Mathias forcing and by Mathias forcing relative to Ramsey ultrafilters are d-minimal, whereas Hechler extensions are b-minimal. We also construct a d-minimal extension that is weakly $ω^ω$-bounding but neither minimal nor $ω^ω$-bounding, and realize every constellation of these properties compatible with their natural implications.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.17153
curl -X POST /api/v1/records/arxiv/2609.17153/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.17153/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'