Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Wei Wang
中国
mainly work on computability and reverse mathematics, also interested in other areas of logic.
top
accounts
reputation
activity
subscriptions
Top Questions
9
votes
On similar matrices and polynomial matrices
linear-algebra
matrices
ra.rings-and-algebras
asked May 28, 2011 at 10:48
mathoverflow.net
6
votes
To find an element of a $\Pi^1_1$ set
lo.logic
asked Jul 21, 2012 at 12:36
mathoverflow.net
5
votes
About the well ordering of finite sequences of numbers
lo.logic
reverse-math
asked Jan 11, 2013 at 7:15
mathoverflow.net
Top Answers
7
Can ZFC provide a truth theory for arithmetic, and express arithmetic truth?
math.stackexchange.com
6
Proving Tychonoff's theorem with the Compactness theorem of logic
math.stackexchange.com
Stack Exchange works best with JavaScript enabled
mathoverflow.net
math.stackexchange.com