MathOverflow Stack Exchange
MathOverflow Stack Exchange

Wei Wang
357
reputation
  • 中国
  • Member since May 28 2011
  • 198 profile views
  • Last seen Mar 11 '24 at 00:58

mainly work on computability and reverse mathematics, also interested in other areas of logic.