{"id":"arxiv/2602.08184","url":"https://arxiv.org/abs/2602.08184","tags":["math.LO"],"score":0,"title":"$\\star$-translation for Varsovian models","domain":"math.LO","source":"arxiv","authors":["Farmer Schlutzenberg"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-09","reactions":{}}