activity
20212026
most citedDeterminacy in the Chang model

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

collaborators

8 papers

math.LO2026

Cardinal invariants of idealized Miller null sets

Aleksander Cieślak, Takehiko Gappo, Arturo Martínez-Celis +1

This paper provides an extensive study of the -Miller null ideals , -ideals on the Baire space parametrized by ideals on countable sets…

math.LO2026

Long games just beyond fixed countable length

Takehiko Gappo, Sandra Müller

We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural number…

math.LO2025

Separating Maximality Principles

Takehiko Gappo, Andreas Lietz

We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of - and -$\math…

math.LO2024

Generic Absoluteness Revisited

Sakaé Fuchino, Takehiko Gappo, Francesco Parente

The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axi…

math.LO2023

On -strongly measurable cardinals in extensions

Navin Aksornthong, Takehiko Gappo, James Holland +1

We show that in the extension of a certain Chang-type model of determinacy, if , 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 in any set generic e…

math.LO2021

On the derived models of self iterable universes

Grigor Sargsyan, Takehiko Gappo

We show that if the universe is self-iterable and is an inaccessible limit of Woodin cardinal then is regular" holds in the derived model at . The proof is fine-…