TeX - LaTeX
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 9 years, 1 month
  • Last seen more than a month ago
  • 中国
Profile Activity
Stats
111
reputation
0
reached
1
answer
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.
3
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
answer
1
Centralized label in multline mode
Mar 17
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.