activity
20122026
most citedSquare principles in Pmax extensions

26 citations · 35 across the 32 of their papers we have counts for

collaborators
Showing math.LOShow all

35 papers · 1 filter

math.LO2026

Measures in Nairian models, I

Gabriel Goldberg, Grigor Sargsyan

Assuming , we show that the Ultrapower Axiom holds in for every -sequence of ordinals . We use this result to analyze t…

math.LO2025

Partial Tower Sealing

Grigor Sargsyan, Nam Trang

The main result of this paper shows that a weak form of Tower Sealing holds in a generic extension of hod mice with a strong cardinal and a proper class of Woodin cardinals. We sho…

math.LO2025

A model of the Axiom of Determinacy in which every set of reals is universally Baire

Paul B. Larson, Grigor Sargsyan, Trevor Wilson

The consistency of the theory ``every set of reals is universally Baire'' is proved relative to ``there is a cardina…

math.LO2024

AD implies that is a -Berkeley cardinal

Douglas Blue, Grigor Sargsyan

Following \cite{bagaria2019large}, given cardinals , we say is a club -Berkeley cardinal if for every transitive set of size such that , there is…

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…