pen icon Colloque
quote

Un théorème de représentation pour les algèbres monadiques

Léon LeBlanc
LL

Membre a labase

Léon LeBlanc

Résumé du colloque

Halmos a démontré dans la seconde d'une série d'articles sur la logique algébrique que toute algèbre monadique est isomorphe à une algèbre monadique fonctionnelle. Nous donnons une preuve plus courte de ce théorème en utilisant les deux faits suivants : a) une algèbre monadique peut se plonger dans une somme directe d'algèbres monadiques simples ; b) une somme directe d'algèbres simples est riche.

Contexte

Section :
Mathématiques
news icon Thème du colloque :
Mathématiques
manager icon Responsables :
Maurice L'Abbé
host icon Hôte : Université d’Ottawa

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Mathématiques
Un théorème de représentation pour les algèbres monadiques
Léon LeBlanc
Exemple d'une géométrie non-désarguienne homogène
Fritz Rothberger
Polynômes de Bernstein généralisés
Benoît Lachapelle
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Mathématiques
Un théorème de représentation pour les algèbres monadiques
Léon LeBlanc
La signification algébrique du théorème d’incomplétude de Gödel
Léon LeBlanc
La signification algébrique du théorème d'incomplétude de Godel
Léon LeBlanc