Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang's user avatar
Wei Wang
  • Member for 9 years, 11 months
  • Last seen this week
  • 中国
7 votes
Accepted

Can ZFC provide a truth theory for arithmetic, and express arithmetic truth?

6 votes
Accepted

Proving Tychonoff's theorem with the Compactness theorem of logic

4 votes
Accepted

Problem from Cutland's Computability

3 votes
Accepted

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

3 votes
Accepted

Proving that $\mid Gal(E/F)\mid\leq [E:F]$ by induction

2 votes

Looking at field extensions from an elementary perspective

1 vote

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$

1 vote

How to prove that this $X_0$ is nilpotent

1 vote

How can I determine the eigenvectors for an orthogonal projection matrix?

0 votes

Let $f$ be an analytic isomorphism on the unit disc $D$, find the area of $f(D)$

0 votes

Confusing on how to prove complex function is differentiable everywhere?