Arthur Fischer
Reputation
97/100 score
 Nov 25 revised Estimating $\int_e^x \log\log{t}\, dt$ so the error term in within $O\left(\frac{x}{\log^2{x}}\right)$ deleted 4 characters in body; edited title Nov 24 revised How can this theorem about weakly measurable functions on $\sigma$-finite measure spaces be deduced from the finite measure space case? added 933 characters in body; edited title Nov 21 revised Nonabelian global symmetries, $SO(N)$ symmetric theory of $N$ scalar fields. rolled back to a previous revision Nov 20 reviewed Leave Closed Who determines if a mathematical proof is valid? Nov 20 revised Prove that $l < m$ implies $l \le m-1$ added 13 characters in body; edited tags; edited title Nov 20 revised Who determines if a mathematical proof is valid? edited body; edited tags Nov 20 comment Countable elementary submodels There seems to be a lot of questions here, some of them very basic about the nature of elementary submodels of $H(\chi)$. I would suggest trying to remove any remnants of forcing from this question and focus instead on your particular concerns. (For example, your $q$ just results from a finite change of $p$, so you could ask whether (or under what sort of circumstances) does an element of $H(\chi)$ which has finite symmetric difference with an element of $N$ also belong to $N$.) Nov 18 revised Evaluate $\int_{1}^{\infty} \frac{\sqrt{x - 1}}{(x + 1)^{2}} ~ \mathrm{d}{x}$. MathJaxified this answer, which the OP could have done but was too lazy to, I guess. Nov 15 revised Equivalence of the theories $\operatorname{Th}(\Bbb{R}, 0,1,+, \le)$ and $\operatorname{Th}(\Bbb{Q}, 0,1,+, \le)$ added 58 characters in body; edited tags; edited title Nov 13 revised Using the Archmedian property to show that for each $\varepsilon > 0$ there is an $n \in \mathbb{N}$ such that $\frac 1n < \varepsilon$ tagging the untagged Nov 13 revised Proving that for each $n \in \mathbb{N}$ there is an $m \in \mathbb{N}$ such that $m > n$ from certain axioms tagging the untagged Nov 13 revised Why is $e^{tn}(pe^{-t}+q)^n =(qe^t+p)^n$? tagging the untagged Nov 13 revised Prove that $0 \leq \frac{x+|x|}{2} \leq |x|$ tagging the untagged Nov 13 revised Conditions on two points on the $x$-axis given a locus tagging the untagged Nov 11 comment If $(x_n)_n$ converges in the co-countable topology on $\mathbb{R}$, then $(\operatorname{Id}(x_n))_n$ converges in the Euclidean topology What is $\operatorname{Id}(x_n)$? Nov 11 reviewed Edit If $(x_n)_n$ converges in the co-countable topology on $\mathbb{R}$, then $(\operatorname{Id}(x_n))_n$ converges in the Euclidean topology Nov 11 revised If $(x_n)_n$ converges in the co-countable topology on $\mathbb{R}$, then $(\operatorname{Id}(x_n))_n$ converges in the Euclidean topology Fixing mathematical characters. Nov 9 comment Are the sections of entourages in a uniform space open? Please read carefully what the next sentence from the Wikipedia article states, and also look at the article on neighbourhoods. Nov 9 revised Are the sections of entourages in a uniform space open? giving precise definitions from Wikipedia Nov 8 revised Finding real solutions to $\sqrt{x}+\sqrt[3]{x^2-1}+\sqrt[4]{x^3+15}=x^2+2$ deleted 18 characters in body; edited title