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 2015Show all

2 papers · 1 filter

math.LO2015★ 1 cited

The strong reflecting property and Harrington's Principle

Yong Cheng

In this paper we characterize the strong reflecting property for $L$ -cardinals for all $ω_{n}$ , characterize Harrington's Principle $H P (L)$ and its generalization and discuss the rel…

math.LO2015★ 11 cited

Harrington's principle over higher order arithmetic

Yong Cheng, Ralf Schindler

Let $Z_{2}$ , $Z_{3}$ , and $Z_{4}$ denote $2^{nd}$ , $3^{rd}$ , and $4^{th}$ order arithmetic, respectively. We let Harrington's Principle, {\sf HP}, denote the statement that t…