Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
Liste des citations dans Numdam pour :
Der Satz von Hahn-Banach per Disjunktionselimination
[The Hahn-Banach theorem by disjunction elimination]
Confluentes Mathematici, Tome 11 (2019) no. 1, pp. 79-93.
Misselbeck-Wessel, Daniel
;
Rinaldi, Davide
Towards formal Baer criteria
Confluentes Mathematici, Tome 14 (2022) no. 1, pp. 49-63.