Yong Cheng

activity

20102023

most citedLearning to Detect Malicious Clients for Robust Federated Learning

187 citations · 301 across the 16 of their papers we have counts for

collaborators

Showing 2014Show all

3 papers · 1 filter

math.LO2014

Indestructibility properties of remarkable cardinals

Yong Cheng, Victoria Gitman

Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L (R)$ is…

math.LO2014

Large cardinals need not be large in HOD

Yong Cheng, Sy-David Friedman, Joel David Hamkins

We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal $κ$ need not be weakly compact in HOD, and there c…

math.LO2014★ 1 cited

Force a set model of $Z_{3}$ + Harrington's Principle

Yong Cheng

Let $Z_{3}$ denote $3^{r d}$ order arithmetic. Let Harrington's Principle, HP, denote the statement that there is a real $x$ such that every $x$ --admissible ordinal is a cardinal in $…

Indestructibility properties of remarkable cardinals

Large cardinals need not be large in HOD

Force a set model of Z3​ + Harrington's Principle

Force a set model of $Z_{3}$ + Harrington's Principle