MathOverflow
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 12 years, 11 months
  • Last seen more than 7 years ago
  • 中国
Profile Activity
Stats
357
reputation
0
reached
0
answers
0
questions
Communities
View all
About
mainly work on computability and reverse mathematics, also interested in other areas of logic.
Badges
This user doesn’t have any gold badges yet.
1
silver badge
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
9
On similar matrices and polynomial matrices
7
Can ZFC provide a truth theory for arithmetic, and express arithmetic truth?
6
To find an element of a $\Pi^1_1$ set
6
Proving Tychonoff's theorem with the Compactness theorem of logic
5
About the well ordering of finite sequences of numbers