Takehiko Gappo

activity

20212026

most citedDeterminacy in the Chang model

2 citations · 2 across the 8 of their papers we have counts for

collaborators

Showing 2023Show all

3 papers · 1 filter

math.LO2023

On $ω$ -strongly measurable cardinals in $P_{m a x}$ extensions

Navin Aksornthong, Takehiko Gappo, James Holland +1

We show that in the $P_{m a x}$ extension of a certain Chang-type model of determinacy, if $κ \in {ω_{1}, ω_{2}, ω_{3}}$ , then the restriction of the club filter on $κ\cap\mathrm…

math.LO2023

Chang models over derived models with supercompact measures

Takehiko Gappo, Sandra Müller, Grigor Sargsyan

Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ tha…

math.LO2023★ 2 cited

Determinacy in the Chang model

Takehiko Gappo, Grigor Sargsyan

Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $AD^{+}$ in any set generic e…

On ω-strongly measurable cardinals in Pmax​ extensions

Chang models over derived models with supercompact measures

Determinacy in the Chang model

On $ω$ -strongly measurable cardinals in $P_{m a x}$ extensions