All Questions

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...

Many modern proofs of the (ineffective) finiteness of solutions of the $S$-unit equation $x+y=1$ use Roth's theorem. In particular it is used Lang's version of Roth's theorem which takes in account ...