MathOverflow
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 12 years, 6 months
  • Last seen more than a month ago
  • 中国
Profile Activity
Stats
357
reputation
4k
reached
1
answer
4
questions
Communities
View all
About
mainly work on computability and reverse mathematics, also interested in other areas of logic.
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
2
Score
3
Posts
60
Posts %
2
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts
All Questions Answers
Score Newest
question
9
On similar matrices and polynomial matrices
May 28, 2011
question
6
To find an element of a $\Pi^1_1$ set
Jul 21, 2012
question
5
About the well ordering of finite sequences of numbers
Jan 11, 2013
question
3
Applications of rank factorization or full rank decomposition [closed]
Jan 11, 2014
answer
2
About the well ordering of finite sequences of numbers
Jan 13, 2013
Top network posts
View all network posts
7
Can ZFC provide a truth theory for arithmetic, and express arithmetic truth?
6
Proving Tychonoff's theorem with the Compactness theorem of logic

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.