Modèles élémentaires pour la théorie des ensembles J. F. Pabion — 1967 Publications du Département de mathématiques (Lyon)
L'axiomatisation de la syntaxe et le second theorem de Gödel J. F. Pabion — 1974 Publications du Département de mathématiques (Lyon)
Théorie des modèles sans identité J. F. Pabion — 1970 Publications du Département de mathématiques (Lyon)
Une approche de la construction d'un modèle dénombrable pour la théorie de Zermelo-Fraenkel J. F. Pabion — 1967 Publications du Département de mathématiques (Lyon)
Π 2 - Théorie des ensembles J.-F. Pabion — 1982 Annales scientifiques de l'Université de Clermont. Mathématiques