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 Critères de recherche : "Set theory" 96 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Set theory Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
Cote : 00035606
axiome de théorie des ensembles # logique mathématique # nombre cardinal # théorie des ensembles # théorie des modèles # théorie descriptive des ensembles

03Exx ; 03-02 ; 03-01 ; 03E05 ; 03E45 ; 03E15 ; 03E40 ; 03E50 ; 03E55 ; 03E35 ; 03E60 ; 03E04 ; 03E10 ; 03E17 ; 03E02

Localisation : Ouvrage RdC (JECH)

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

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

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

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

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

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

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

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

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

Sélection Signaler une erreur