$\star$-translation for Varsovian models
The technique of $\star$-translation is important in arguments calibrating the strengths of determinacy theories against large cardinals, for example in [9] and [1] in the paper's bibliography. It has also been used in analysing the internal theory of mice, for example in [5], [3], [6]. We give a detailed development of $\star$-translation, slightly strengthening the large cardinal level in the development of [1]. We then develop a variant of $\star$-translation for Varsovian models, in which certain extenders overlapping the Woodin cardinal are total, and used to directly induce extenders…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.08184
curl -X POST /api/v1/records/arxiv/2602.08184/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.08184/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'