26 citations · 35 across the 32 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.LO2022
Forcing More DC Over the Chang Model Using the Thorn Sequence
James Holland, Grigor Sargsyan
In the context of , we force for relations on for over the Chang model making so…
math.LO2022
Unreachability of Inductive-Like Pointclasses in
Derek Levinson, Itay Neeman, Grigor Sargsyan
Hjorth proved from that there is no sequence of distinct sets of length . Sargsyan extended Hjorth's technique to show there is no sequence of distinc…
math.LO2022★ 1 cited
Suslin cardinals and cutpoints in mouse limits
Stephan Jackson, Grigor Sargsyan, John Steel
We obtain a partial result on the following conjecture. Conjecture. Let (P, Σ) be a projectum stable mouse pair, and let κbe a cardinal of V such that κ< o(M_\infty(P, Σ)); then th…