Show that ${\Delta(\Gamma)}$ is the intersection of all maximal consistent ${\Sigma}$ containing ${\Gamma}$
128111
Why is a deductive closure an intersection of maximally consistent sets?
102871
$\langle r\rangle$ maximal $\iff r$ irreducible
51747
Showing that the intersection of all subgroups of order $n$ is normal
47731
Intersection of all $p$-Sylow subgroups is normal
151607
Show that  $A\Delta B = C$ if and only if $A = B\Delta C$
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
130156
Image of the union and intersection of sets.
157213
Application of Luca's theorem
80996
A canonical construction proving $\left|HK\right| = \left|H\right|\left|K\right| / \left|H \cap K\right|$?
157599
what is the meaning of $F_\sigma$ and $G_\delta?$
73174
Prove $KN\cong K\times N$ if $K\cap N=\{e\}$
16048
Approximating a $\sigma$-algebra by a generating algebra
103308
Showing that $\nabla\times(\nabla\times\vec{A}) = \nabla(\nabla\cdot\vec{A})-\Delta\vec{A}$
111165
Prove the converse of Wilson's Theorem
40019
Showing that $\gamma = -\int_0^{\infty} e^{-t} \log t \,dt$, where $\gamma$ is the Euler-Mascheroni constant.
106927
How do I prove $[G:H\cap K]\leq [G:H][G:K]$?
38946
Show that $\{\cup_{n\in K} (n, n+1]: K \subset \mathbb{Z}\}$ is a $\sigma$-algebra on $\mathbb{R}$