MathOverflow
Ruizhi Yang's user avatar
Ruizhi Yang's user avatar
Ruizhi Yang's user avatar
Ruizhi Yang
  • Member for 12 years, 5 months
  • Last seen more than 6 years ago
  • Shanghai, China
Profile Activity
Stats
759
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I am working at the school of philosophy at Fudan University. My major is the philosophy of mathematics, and I am interested in mathematical logic, especially set theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
17
Is there a first-order theory who does not interpret arithmetic yet still does not have a computable consistent completion?
16
How to prove projective determinacy (PD) from I0?
11
Why "adding" a single extender cannot give an L-like inner model for say, a strong cardinal?
8
Why relative consistency results by forcing arguments are provable in finitistic metatheory
8
Can the "real" Peano Arithmetic be inconsistent?