Rudy the Reindeer
Reputation
21,660
77/100 score
 Feb 18 revised Continuous function on a compact metric space is uniformly continuous Tags edited. Feb 18 revised Continuous function on a compact metric space is uniformly continuous Typo corrected. Feb 18 comment Continuous function on a compact metric space is uniformly continuous @ArturoMagidin Actually, just picking the smallest one is not good enough because then the two points might not lie in the same delta ball. Feb 18 answered Continuous function on a compact metric space is uniformly continuous Feb 16 revised Number of subspaces not less than cardinality of the field deleted 1 characters in body Feb 16 answered What is the best way to develop Mathematical intuition? Feb 13 comment Forcing partial order $([\omega]^\omega / \mathrm{fin} , \leq)$ @BrianM.Scott Thanks Brian! By now I can see it myself : ) Feb 13 comment Showing the existence of the $\omega_\omega$-th power set of $\omega$ Thanks. So I'll write $G(\langle f_0, f_1, \dots, f_{\alpha}\rangle) := P(f_{\alpha})$ if $\alpha$ is a limit ordinal and $G(\langle f_0, f_1, \dots\rangle) := \bigcup_{\alpha < \lambda}P(f_{\alpha})$ if $\lambda$ is a limit ordinal. Feb 13 accepted Showing the existence of the $\omega_\omega$-th power set of $\omega$ Feb 13 revised Showing the existence of the $\omega_\omega$-th power set of $\omega$ added 27 characters in body Feb 13 asked Showing the existence of the $\omega_\omega$-th power set of $\omega$ Feb 13 revised Formal proof involving $\varphi( v_k / v_l )$ added 72 characters in body Feb 13 comment Formal proof involving $\varphi( v_k / v_l )$ Thank you for this excellent, clear answer! Feb 13 comment Formal proof involving $\varphi( v_k / v_l )$ @CarlMummert Yes! Thank you! Sorry for taking so long. Feb 13 accepted Formal proof involving $\varphi( v_k / v_l )$ Feb 12 revised Sobolev space and equivalence of norms Tags edited. Feb 9 comment Formal proof involving $\varphi( v_k / v_l )$ @CarlMummert The only other axiom involving $\exists$ is $\forall x(\varphi(x) \rightarrow \psi) \rightarrow (\exists x \varphi(x) \rightarrow \psi))$. The axioms are listed in this document starting on page 4. Feb 9 comment Formal proof involving $\varphi( v_k / v_l )$ @CarlMummert Thanks, I wasn't aware of this. I added some more information to the question. Feb 9 revised Formal proof involving $\varphi( v_k / v_l )$ added 159 characters in body Feb 8 comment Non-standard models of arithmetic for Dummies +1 and a Nice Answer badge from me : )