Pointwise inductive limits in accessible categories. (Limites inductives point par point dans les catégories accessibles.)
La philosophie mathématique de Roger Apéry
Pour qui s’intéresse à la philosophie des mathématiques, Roger Apéry (1916-1994) incarne le défenseur de la mathématique constructive et l’adversaire résolu du formalisme et du bourbakisme. On sait moins qu’il est aussi l’un des premiers universitaires français à avoir fait la promotion de la théorie des catégories, pourtant hautement structuraliste et souvent jugée comme très formelle. L’objectif principal de notre étude est de préciser les conditions historiques et la teneur philosophique du double...
L’autre axiome du choix
L’« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie...
Actes des journées E.L.I.T. (Univ. Paris 7. 27 juin-2 juillet 1988 ). Corrigenda
Sémantique catégorique des constructeurs de types d'ordre supérieur
Les catégories localement (multi)présentables comme domaines de Scott
Effective taxonomies and crossed taxonomies
La tour holomorphe d'une esquisse
Quelques aspects de la dualité entre logique et topologie
Esquisses inductives et presque inductives
Page 1