which asserts that the set of -rational points is necessarily finite.

Progress

The first significant progress towards the conjecture was due to Caporaso, Harris, and Mazur. They proved that the conjecture holds if one assumes the Bombieri-Lang conjecture.

Mazur's conjecture B

Mazur's conjecture B is a weaker variant of the

1.Previous
3.Next