no. 3
Non standard arithmetic and application to height functions
Groupe de travail d'analyse ultramétrique, Tome 9 (1981-1982) no. 3, Exposé no. J8, 2 p. 
@article{GAU_1981-1982__9_3_A9_0,
     author = {Frey, Gerhard},
     title = {Non standard arithmetic and application to height functions},
     journal = {Groupe de travail d'analyse ultram\'etrique},
     note = {talk:J8},
     publisher = {Secr\'etariat math\'ematique},
     volume = {9},
     number = {3},
     year = {1981-1982},
     zbl = {0513.12021},
     language = {en},
     url = {www.numdam.org/item/GAU_1981-1982__9_3_A9_0/}
}
Frey, Gerhard. Non standard arithmetic and application to height functions. Groupe de travail d'analyse ultramétrique, Tome 9 (1981-1982) no. 3, Exposé no. J8, 2 p. http://www.numdam.org/item/GAU_1981-1982__9_3_A9_0/

[1] Frey (G.). - Rationale Punkte auf Fermatkurven und getwisteten Modulkurven, J. für reine und angew. Math., t. 331, 1982, p. 185-191. | MR 647382 | Zbl 0474.14011

[2] Frey ( G. ) . - Cyclic isogenies and nonstandard arithemtic, J. Number Theory, t. 12, 1980, p. 343-363. | MR 586463 | Zbl 0439.14004

[3] Kani (E.). - Eine Verallgemeinerung des Satzes von Castelnuovo-Severi, J. für reine und angew. Math., t. 318, 1980, p. 178-220. | MR 579391 | Zbl 0472.14017

[4] Kani (E.). - Nonstandard diophantine geometry, "Proceedings of the Queen's numberstheory conference [1979. Kingston]", p. 129-172. - Kingston, Queen's university, 1980 (Queen's Papers in pure and applied Mathematics, 54). | MR 634687 | Zbl 0454.14010

[5] Robinson (A.) and Roquette (P. ) . - On the finiteness theorem of Siegel and Mahler concerning diophantine equations, J. Number Theory, t. 7, 1975, p. 121- 176. | MR 374022 | Zbl 0299.12107