Commune · Savoirs
Scott's trick
Méthode de la théorie des ensembles
En théorie des ensembles, le « truc de Scott » est une méthode permettant de définir des classes d'équivalence pour des relations d'équivalence sur une classe propre (Jech 2003:65) en se référant aux niveaux de la hiérarchie cumulative. La méthode repose sur l'axiome de régularité, mais non sur l'axiome du choix.
Traduit automatiquement de l'anglais · Voir l'original
In set theory, Scott's trick is a method for giving a definition of equivalence classes for equivalence relations on a proper class (Jech 2003:65) by referring to levels of the cumulative hierarchy. The method relies on the axiom of regularity but not on the axiom of choice.
Sur Wikipédia
Traduit automatiquement depuis l'article en anglais
En théorie des ensembles, le « truc de Scott » est une méthode permettant de définir des classes d'équivalence pour des relations d'équivalence sur une classe propre (Jech 2003:65) en se référant aux niveaux de la hiérarchie cumulative. La méthode repose sur l'axiome de régularité, mais non sur l'axiome du choix. Elle peut servir à définir des représentants pour les nombres ordinaux dans ZF, la théorie des ensembles de Zermelo–Fraenkel sans l'axiome du choix (Forster 2003:182).
Texte : Wikipédia en anglais, traduction automatique, CC BY-SA 4.0. ·