Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 476 p.
Cote : 00011073
axiomatique # classification d'ensembles # fondements des mathématiques # indépendance # logique # nombre cardinal # recursion logique # résultat de consistce # ensemble ordonné # théorie de la recursion # théorie des ensembles # théorie descriptive d'ensemble
03D60 ; 02K05 ; 02K15 ; 02K30 ; 02K35
Localisation : Collection 1er étage
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 : 00020630
AD ou axiome du caractère déterminé # Kunen # Scott # Silver # axiome de Zermelo et Fraenkel # axiome des cardinaux de Erdös # axiome des grands cardinaux # bon-ordonnancement des réels et axiome du choix # cardinal de Jonsson # cardinal de Ramsey # cardinal de Rowbotom # cardinal mesurable et Ulam # combinatoire infinitoire # consistance # ensemble constructible # ensemble non constructible d'entier # exemple faible ou fort de l'axiome # forcing de Cohen # paradoxe de Banach-Tarksi # prophétie de Gödel # relation de partition d'exposant infini # taille de l'univers des ensembles # théorie des ensembles combinatoires # ultrapuissance itérée
[-] AD ou axiome du caractère déterminé # Kunen # Scott # Silver # axiome de Zermelo et Fraenkel # axiome des cardinaux de Erdös # axiome des grands cardinaux # bon-ordonnancement des réels et axiome du choix # cardinal de Jonsson # cardinal de Ramsey # cardinal de Rowbotom # cardinal mesurable et Ulam # combinatoire infinitoire # consistance # ensemble constructible # ensemble non constructible d'entier # exemple faible ou fort de l'axiome # ...
[+] 03-02 ; 02K15 ; 02K35 ; 04-02 ; 04A20
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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020628
16530 # application de V=L en mathématique # axiome de constructibilité # axiome pour théorie des ensembles # preuve d'intépendance en théorie des ensembles # problème en théorie de la mesure # problèmes fameux en analyse réelle
02K05 ; 02K15 ; 02K25 ; 04-01 ; 04A30
Localisation : Collection 1er étage
English