Mathematics
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 9 years, 7 months
  • Last seen more than a month ago
  • 中国
Profile Activity
Stats
448
reputation
3k
reached
11
answers
0
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.
3
silver badges
8
bronze badges
Top tags
View all tags
13
Score
2
Posts
18
Posts %
7
Score
1
Posts
9
Posts %
7
Score
1
Posts
9
Posts %
6
Score
1
Posts
9
Posts %
6
Score
1
Posts
9
Posts %
6
Score
1
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
7
Can ZFC provide a truth theory for arithmetic, and express arithmetic truth?
Apr 30, 2017
answer
6
Proving Tychonoff's theorem with the Compactness theorem of logic
May 3, 2014
answer
4
Problem from Cutland's Computability
May 8, 2014
answer
3
If $f$ is an anti-symmetric polynomial, then $f=g\prod_{1\leq i < j\leq n}(X_i-X_j)$ for some $g$ symmetric
May 23, 2014
answer
3
Proving that $\mid Gal(E/F)\mid\leq [E:F]$ by induction
May 28, 2014
answer
2
Looking at field extensions from an elementary perspective
May 23, 2014
answer
1
How to prove that this $X_0$ is nilpotent
May 3, 2014
answer
1
Proof that for every non empty $A \subset \mathbb{N}$ there's a $f:\mathbb{N} \rightarrow \mathbb{N}$ with $f \circ f =f$ and $f(N)=A$
May 22, 2014
answer
0
Let $f$ be an analytic isomorphism on the unit disc $D$, find the area of $f(D)$
Nov 30, 2019
answer
0
Confusing on how to prove complex function is differentiable everywhere?
Dec 1, 2019
Top network posts
View all network posts
9
On similar matrices and polynomial matrices
6
To find an element of a $\Pi^1_1$ set
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.