Classification des injections virtuelles
Résumé
Nous donnons une condition nécessaire et suffisante caractérisant que l'injection virtuelle de n dans p est inférieure ou égal ludiquement à l'injection virtuelle de n' dans p'.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)