En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 04A25 20 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 88 p.
Cote : 00006839
logique mathématique et base # axiomatic de théorie des ensembles classique et de ses fragments

03E25 ; 03E30 ; 03Exx ; 04-02 ; 04A25

Localisation : Ouvrage RdC (CHUA)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 425 p.
Cote : 00008492

03-02 ; 03Exx ; 04-02 ; 04A25 ; 04A30

Localisation : Ouvrage RdC (DEVL)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 322 p.
Cote : 00009300
théorie des ensembles # axiome de choix et de propositions équivalentes # logique mathématique et fondation

03E25 ; 03E60 ; 03Exx ; 04A25

Localisation : Ouvrage RdC (RUBI)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 141 p.
Cote : 00003845
axiome du choix # grand nombre # hypothèse du continu # théorie de la mesure probabiliste

03E25 ; 03E50 ; 03E55 ; 04A25 ; 04A30

Localisation : Ouvrage RdC (BORE);Réserve

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 393 p.
Cote : 00007242
algébre # anneau et corps # anneau noethérien # axiome de Zorn # corps et équation algébrique # ensemble ordonné et treillis # espace vectoriel # groupe et demi groupe # génération de groupe # loi de composition

04A25 ; 15A03 ; 16P40 ; 20-XX ; 20Mxx

Localisation : Ouvrage RdC (DUBR)

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00006908
axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

Localisation : Salle de manutention

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cote : 00020151
B-modèle intérieur maximal # M-variété # absoluticité et définabilité # indépendance de V=L # indépendance de l'axiome de choix # indépendance de l'hypothèse du continu # modèle # modèle B-valué # modèle constructible # modèle dans la théorie des ensembles # modèle générique # modèle intérieur # métalangage # méthode de contrainte de Cohen # nombre générique # système Zermelo-Fraenkel # théorème de plongement pour modèle ZF

03C40 ; 03Cxx ; 03E25 ; 03E50 ; 04A25

Localisation : Collection 1er étage

Sélection Signaler une erreur
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

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 68 p.
Cote : 00030484
axiome de l'ultrafiltre # axiome du choix # crible d'Eratosthène # généralisation du lemme de cohérence # multiple et contremultiple # système d'entiers # théorie des relations

04A05 ; 04A25 ; 11N35

Localisation : Salle de manutention

Sélection Signaler une erreur