Translations of Journal PapersPaul Taylor |
Here are some translations that I have made of other people’s journal papers into English from other languages.
Sur le théorème de Zorn, Archiv der Mathematik 2 (1949) 434–7. (pirate copy on sci-hub).
On Zorn’s Lemma (2023).
Doppelte Hülleninduktion und ein Satz von Hessenberg und Bourbaki, Archiv der Mathematik, 13 (1962) 160–5 (pirate copy on sci-hub).
Double closure induction and a theorem of Hessenberg and Bourbaki (2022, including a lot of annotations by me).
Demonstratio nova altera theorematis omnen functionem algebraicam rationalem integram unius variabilis in factores primi vel secundi gradus resolvi posse, Werke 3 (1815) 33–56. (whole volume scanned on archive.org)
Gauss’s second proof of the fundamental theorem of algebra, (1983, with Bernard Leak)
Lambda Calcul Typé, a graduate course on typed lambda-calculus given at the Université Paris VII in the autumn term of 1986–7.
Proofs and Types (1989, with Yves Lafont)
Über das Problem der Wohlordnung, Mathematische Annalen, 76:438–443, December 1915.
On the Problem of Well-Ordering (2024)
Sur la notion d’ensemble fini, Fundamenta Mathematicae 1 (1920) 129–131.
On the notion of finite set (2023)
Une méthode d’élimination des nombres transfinis des raisonnements mathématiques Fundamenta Mathematicae 3 (1922) 76-108.
A Method for Eliminating Transfinite Numbers from Mathematical Arguments (2024)
Les Antinomies de Russell et de Burali-Forti, et le Problème Fondemental de la Théorie des Ensembles
The Antinomies of Russell and Burali-Forti and the Fundamental Problem of Set Theory (2024)
This document was translated from LATEX by HEVEA.