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 : 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 : 00020477
Con ZFC ---> Con(ZFC+CH+SH) # P cursif (oméga) # arbre ou droite de Souslin homogène ou rigide # axiome de Martin # comment Jensen a tué un arbre de Souslin # consistance de SH # hypothèse de Souslin # problème de Souslin # propriété combinatoire # style de Jensen du forcing itéré # vers Con(ZFC+CH+SH)
03-02 ; 02K05 ; 02K25 ; 04-02 ; 04A30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020627
anneau commutatif # anneau d'endomorphisme # anneau de locaux quasi-endomorphisme # anneau de valuation discrète # base de décomposition # base empilée # classification des modules libres de torsion # correspondance de Galois # dimension homologique # décomposition en somme directe # espace vectoriel valué sous- libre # foncteur de complétion # genre # groupe quasi-p-net # groupe valué fini # injectivité ou projectivité quasi- pure # liberté dans les groupes # logique # module de Warfield # module libre de torsion # p-arbre # p-groupe complet en torsion # problème de Whitehead # radical de Jacobson # structure abélienne # système algébrique # taille de Ext # théorie de la structure # théorie des faisceaux # théorie des groupes abéliens mélangés # théorème de Kuros # théorème de Ulm # valuation et co-valuation
[-]
anneau commutatif # anneau d'endomorphisme # anneau de locaux quasi-endomorphisme # anneau de valuation discrète # base de décomposition # base empilée # classification des modules libres de torsion # correspondance de Galois # dimension homologique # décomposition en somme directe # espace vectoriel valué sous- libre # foncteur de complétion # genre # groupe quasi-p-net # groupe valué fini # injectivité ou projectivité quasi- pure # liberté ...
[+]
02H15 ; 02K05 ; 13C05 ; 13L05 ; 16A18
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