$a\overset{\vert}{\smile}_{A}b$ iff $MR(a/A)=MR(a/Ab)$ in totally transcendental theories
106238
non-forking extension is equivalent to sameness of morley rank
67394
How to interpret $\mathbb{P}(B|A)$ when $\mathbb{P}(A) = 0$
41895
Show $\text{Hom}_{Ab}(A,\mathbb{Q}) = \{0\}$ for finite $A$
7567
Degree of Field Extensions and $F(\alpha)$
98816
How to prove that $\{f+g<a\}=\bigcup_{r\in{\Bbb Q}}(\{f<r\}\cap\{g<a-r\})$?
60777
Prove $\, a_1 \Bbb Z \cap \dotsb \cap a_r \mathbb{Z} = {\rm lcm}(a_1, \ldots, a_r) \Bbb Z$
61799
Prove that $\Vert f(b)-f(a)-f'(a)(b-a) \Vert\leq \sup_{x\in [a,b]} \Vert f''(x)\Vert\Vert b-a\Vert^2$
150605
Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$
55764
Algebraic closure of $\mathbb F_p$
132423
Non trivial valuation over a finite extension $F/\mathbb{Q}_p$ is equivalent to the one induced by $v_p$
111746
$(A/\mathfrak{a}) \otimes_A M \simeq M / \mathfrak{a}M$ by tensoring the canonical exact sequence.
147659
Counterexample to "if $f:A\to A$ induces the identity $\hat f:\operatorname{Spec}(A)\to\operatorname{Spec}(A)$, then $f=\operatorname{id}_A$"
108657
Cross product of the quantum mechanical operators $\textbf{p}$ and $\textbf{A}$
15626
Relations of a~b iff b = ak^2
127198
What is $\mathbb{C}^{Aut(\mathbb{C}/\mathbb{Q})}$?
125030
Prove that $\det(A)=p_1p_2-ba={bf(a)-af(b)\over b-a}$
70117
Show that $(p \to q) \lor (q \to p)$ is a tautology