Siegel's theorem in the compact case (Q1175255)

This is a very nice and interesting paper. Here the author gives a proof (not effectively computable for the upper bound of heights) of Mordell's conjecture [Now Faltings' theorem: Let \(C\) be a curve of genus \(>1\) defined over an algebraic number field \(k\). Then the set of all \(k\)-rational points of \(C\) is finite], different from Faltings', being motivated by his own proof in the function field case and by the Thue-Siegel-Dyson-Gel'fond theorem.