Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020317
arithmétisation # ensemble constructible # extension de Cohen de ZF-modèle # fonction récursive # modèle de Fraenkel-Mostowski- Specker # modèle de théorie de ZF-ensemble # modèle syntactique # principe de réflexion # théorie des ensembles de Zermelo-Fraenkel # théorie formelle
02K05 ; 02K15 ; 02K20 ; 04-02 ; 04A25
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020318
algèbre de Boole # axiome de Martin # axiome de Zermelo-Frenkel # axiome de régularité # axiome du choix # consistance de AC et GCH # définabilité ordinale # effondrement de cardinaux # ensemble constructible # forcing parfait # indépendance de AC # indépendance de l'hypothèse d'un continu # mesurabilité de Lebesgue # modèle de Fraenkel-Mostowski # modèle transitif # modèle à valeur booléenne # méthode de forcing # plongement d'un modèle FM dans un modèle de ZF # problème de Suslin # théorie des ensembles # ultrapuissance
[-] algèbre de Boole # axiome de Martin # axiome de Zermelo-Frenkel # axiome de régularité # axiome du choix # consistance de AC et GCH # définabilité ordinale # effondrement de cardinaux # ensemble constructible # forcing parfait # indépendance de AC # indépendance de l'hypothèse d'un continu # mesurabilité de Lebesgue # modèle de Fraenkel-Mostowski # modèle transitif # modèle à valeur booléenne # méthode de forcing # plongement d'un modèle FM dans ...
[+] 02K05 ; 02K15 ; 02K20 ; 02K25 ; 02K99
Localisation : Collection 1er étage
English