German Language
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 9 years, 5 months
  • Last seen more than 3 years ago
  • 中国
Profile Activity
Stats
101
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.
This user doesn’t have any silver badges yet.
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

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.