When does Gâteaux imply Fréchet?
123519
Fréchet differentiability from Gâteaux differentiability
83790
Why doesn't $d(x_n,x_{n+1})\rightarrow 0$ as $n\rightarrow\infty$ imply ${x_n}$ is Cauchy?
36942
What does it mean that a set S tautologically implies wff $\tau$
20789
If $\Sigma \vdash \varphi$ then $\Sigma \vdash \forall x \varphi$. Why when $(\varphi \implies \forall x \varphi)$ is not true?
157218
If $E\subseteq X$ is connected, $E\cap A\neq\emptyset$ and $E\cap(X\setminus A)\neq\emptyset$ then $E\cap\partial A\neq\emptyset$
93157
If $A \subseteq B$, does $\mbox{dist}(x,\partial A) \le \mbox{dist}(x, \partial B)$ hold for all $x \in A$
93342
Show that $\neg$ and $\wedge$ form a functionally complete collection of logical operators.
136909
Functional Analysis: The rank of an operator detemines if it's a compact operator.
18330
Does $R[x] \cong S[x]$ imply $R \cong S$?
55257
Egoroff's theorem in Royden Fitzpatrick (comparison with lemma 10)
47810
$C(X)$ is separable when $X$ is compact?
58562
How can we prove that $D(f)\backsimeq\operatorname{Spec} A_f$?
17165
Is total boundedness a topological property?
53432
What is the algebraic closure of $\mathbb F_q$?
139337
Ultrafilter Lemma implies Compactness/Completeness of FOL
72185
The negation of a limit condition, Spivak style.
152590
At most finitely many (Hamel) coordinate functionals are continuous - different proof