Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00000721
application de deux espaces # application semi-simple # combinaison d'ensemble # condition de Baire # ensemble de point # fonction réelle # image d'ensemble de Suslin # nombre cardinal # nombre ordinal # système d'ensemble # système de Borel # type d'ordre
03E10 ; 03E15 ; 04A10 ; 04A15 ; 05A05
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00004237
axiome # cardinal # ensemble ordonné # logique # logique algébrique # théorie d'ensemble # théorie des nombres cardinaux
03E10 ; 03E28 ; 03Exx ; 03Gxx
Localisation : Ouvrage RdC (KURATOWSKI
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 316 p.
Cote : 00022656
axiomatique # logique mathématique # théorie combinatoire # théorie d'ensemble
03Exx ; 03E01
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 474 p.
Cote : 00006728
algèbre de Boole # ensemble et relation # extension des nombres naturels aux nombres réels # logique # mathématique axiomatique informelle # suite des nombres naturels # théorie algébrique # théorie des ensembles axiomatique informelle # théorie du premier-ordre
03Exx ; 03Fxx ; 03Gxx
Localisation : Ouvrage RdC (STOL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 154 p.
Cote : 00000279
axiome du choix # consistance # hypothèse du continu # indépendance # logique # théorie des ensembles
03Bxx ; 03E25 ; 03E35 ; 03E50 ; 03Exx
Localisation : Ouvrage RdC (COHE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 154 p.
Cote : 00003330
axiome du choix # constance de l'hypothèse du continu # fonction récursive générale # fonction récursive primitive # indépendance de l'hypothèse d'un continu # langage formel # système formel # théorème de Lawenheim-Skolem # théorie des ensembles # théorie des ensembles de Zermelo-Fraenkel # théorème de nonplénit ude de Gobel # théorème de plénitude de Gobel
03E25 ; 03E35 ; 03E50 ; 03Exx ; 04-XX
Localisation : Ouvrage RdC (COHE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 351 p.
Cote : 00000190
cardinal de partition # cardinal inaccessible # cardinal indescriptible # cardinal mesurable # grands cardinaux # langage # langage infinitaire # principe de réflexion # théorie des ensembles # univers constructible
03E10 ; 03Exx ; 04-XX ; 04A10
Localisation : Ouvrage RdC (DRAK)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 654 p.
Cote : 00016774
algèbre d'ensembles # cardinaux mesurables # combinatoire # continuum # mesure d'ensemble # nombres cardinaux # théorie des ensembles
04-06 ; 04A10
Localisation : Colloque 1er étage (RAMA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 152 p.
Cote : 00017085
NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de terme # n-formule # paradoxe # paradoxe de Russell # problème de consistance converse # propriété de de fermeture des petits ensembles # résumé d'ensembles # sous- système #
théorie #
théorie des ensembles #
théorie des types
[-]
NF indice trois # NF,NFU,KF # arithmétique de cardinaux et d'ordinaux # axiome # axiome de dénombrement # classe de préfixes # conbinatoire # définition inductive # ensemble bien fondé # ensemble comme espèce naturelle # ensemble comme prédicat # ensemble universel # exploration d'univers atypique # hiérarchie de quantificateurs # lemme d'automorphisme # lemme d'équiconsistance de Kaye-Specker # lemme de Boffa # modèle de permutation # modèle de ...
[+]
03E10 ; 03E35 ; 03Exx ; 04-XX ; 04A10
Localisation : Ouvrage RdC (FORS)