Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 245 p.
ISBN 978-0-521-27733-4
London mathematical society lecture note series , 0087
Localisation : Collection 1er étage
arbre # cardinal singulier # forcing itéré # forcing propre # indépendance # marécage # norme # régularité d'ultrafiltre # structure fine de L # théorie des ensembles combinatoires # échelle
03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 476 p.
ISBN 978-3-540-08926-1
Lecture notes in mathematics , 0669
Localisation : Collection 1er étage
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-0246-5
Proceedings of symposia in pure mathematics
Localisation : Collection 1er étage
axiomatique # theorie des sembles
02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-0245-8
Proceedings of symposia in pure mathematics
Localisation : Collection 1er étage
axiomatique # theorie des sembles
02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-51730-6
Lecture notes in mathematics , 1401
Localisation : Collection 1er étage
theorie des ensembles
04-06 ; 54-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 1174 p.
ISBN 978-3-540-10849-8
Lecture notes in mathematics , 0872
Localisation : Collection 1er étage
algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles
03-06 ; 03-XX ; 03Cxx ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (VARE)
analyticité d'ensemble de coincidence # calcul des variations # courbure moyenne généralisée # frontière d'ensemble de Cacciopoli # inégalité variationnelle # mesure de De Giorgi # obstable fin # obstacle mince # première variation d'une aire # problème variationnel elliptique # singularité # surface de type bulle de savon # surface de type film de Savon # surface minimale avec obstacle # théorie de la mesure géométrique
28A75 ; 49F10 ; 49F20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 318 p.
Localisation : Colloque 1er étage (MARS)
ensemble différent # groupe fini abstrait # groupe fini ou infini # somme trigonométrique # théorie additive des nombres # théorie structurelle de l'addition d'ensembles # théorème limite
05B16 ; 11P99 ; 11Pxx ; 20F99 ; 20Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-12-218100-9
Localisation : Colloque 1er étage (POIA)
algèbre de Kac-Moody # déterminant # invariance conforme # mécanique statistique # quantique conforme # surface de Riemann # théorie de la chaine # théorie du champ
81T30 ; 82-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 654 p.
Israel mathematical conference proceedings , 0006
Localisation : Colloque 1er étage (RAMA)
algèbre d'ensembles # cardinaux mesurables # combinatoire # continuum # mesure d'ensemble # nombres cardinaux # théorie des ensembles
04-06 ; 04A10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-07856-2
Lecture notes in mathematics , 0537
Localisation : Collection 1er étage
algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité et universalité # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternatives
algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité ...
03D60 ; 02F29 ; 02F35 ; 02H05 ; 02H13
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-08521-8
Lecture notes in mathematics , 0619
Localisation : Collection 1er étage
algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par hiérarchie # propriété de Baire # propriété infinitoire # quantification Q indice alpha # relation entre epsilon-delta procédure # récursion de type fini # réduction de la théorie des types # sigma saturé # théorie de classe # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternative # topologie # treillis de degré de constructibilité
algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par ...
00Bxx ; 03-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 184 p.
ISBN 978-0-8218-0306-6
Contemporary mathematics , 0192
Localisation : Collection 1er étage
capacité de Hausdorff # caractéristique cardinale du continu # ensemble ordonné au projectif # forcing de Laver # gamma-ensemble fortement maigre # jeu infini # théorie des ensembles # topologie générale
03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 351 p.
ISBN 978-0-8176-3456-8
Progress in systems and control theory , 0002
Localisation : Colloque 1er étage (SIEL)
théorie du contrôle # contrôle optimal # commande optimale # système non-linéaire # système linéaire # phénomène de Fuller # équation de Riccati # méthode algébrique # méthode géométrique # système distribué # stabilisation robuste # problème linéaire quadratique
93-06 ; 93C73
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-0-8218-2786-4
DIMACS series in discrete mathematics and theorerical computer science , 0058
Localisation : Collection 1er étage
théorie des nombres # relation de partition # théorie descriptive des ensembles # grand cardinal # convergence des resultats # indépendance des résultats
03-06 ; 03Exx ; 03E02 ; 03E15 ; 03E35 ; 03E55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 291 p.
ISBN 978-0-521-78644-7
London mathematical society lecture note series , 0277
Localisation : Collection 1er étage
théorie descriptive des ensembles # système dynamique # théorie ergodique # dynamique topologique # théorème de récurrence de Poincaré # groupe d'automorphisme # espace de mesure # cocycle # dynamique descriptive
03E15 ; 37-06 ; 37Axx ; 37B05 ; 54H20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 796 p.
ISBN 978-90-277-1943-0
NATO ASI series : series C : mathematical and physical sciences , 0147
Localisation : Colloque 1er étage (BANF)
combinatoire # graphe # structure ordonnée # représentation de graphe # plannification # recherche # tri # ordre extrême # ordonnement # décomposition # récusion # problème
00Bxx ; 05-06 ; 06-06
... Lire [+]
