m

F Nous contacter

0

Documents  03E40 | enregistrements trouvés : 18

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- ix; 174 p.
ISBN 978-981-4699-94-5

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0029

Localisation : Colloque 1er étage (SING)

théorie des modèles # non-résolubilité # logique mathématique # forcing

03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 269 p.
ISBN 978-981-3223-51-6

Lecture notes series, Institute for mathematical sciences, National university of Singapore , 0033

Localisation : Ouvrage RdC (SETS)

logique # théorie des ensembles # calcul complexe # théorème de Goodstein # cardinal # limite de Fraïssé # idéal # 10ème problème de Hilbert

03-06 ; 03D20 ; 03E40 ; 03C62 ; 00B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 1449-2197 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 737-1447 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 736 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxii-191 p.
ISBN 978-0-19-960916-1

Oxford logic guides , 0047

Localisation : Ouvrage RdC (BELL)

logique mathématique # axiome de choix # algèbre de Heyting # algèbre booléenne # consistance # indépendance # hypothèse du continuum # axiome de Martin # problème de Souslin

03E40 ; 03-02 ; 03C90 ; 03E35 ; 03E50 ; 03E25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Set theory Jech, Thomas | Springer 2003

Ouvrage

- xiii; 769 p.
ISBN 978-3-540-44085-7

Springer monographs in mathematics

Localisation : Ouvrage RdC (JECH)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 240 p.
ISBN 978-0-8218-4453-3

University lecture series , 0044

Localisation : Collection 1er étage

logique # théorie descriptive des ensembles # relation d'équivalence de Borel # reductivité de Borel # idéal de Borel # classification # théorème de dichotomie # relation d'équivalence d'orbite # espace polonais

03E15 ; 03-02 ; 28Dxx ; 37A20 ; 03E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 314 p.
ISBN 978-0-521-87426-7

Cambridge tracts in mathematics , 0174

Localisation : Collection 1er étage

théorie descriptive des ensembles # contrainte # algèbre quotient # algèbre booléenne # analyse abstraite # théorie de la mesure

43-XX ; 28Axx ; 03E15 ; 03E40 ; 54H05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 132 p.
ISBN 978-0-8218-3604-0

University lecture series , 0032

Localisation : Collection 1er étage

théorie des ensembles # théorie descriptive des ensembles # tour stationnaire # grand cardinal # théorème de Woodin # forcing # plongement

03E40 ; 03E15 ; 03E35 ; 03E55 ; 03E60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 109 p.
ISBN

Bonner mathematische schriften , 0339

Localisation : Publication 1er étage

théorie des ensembles # forcing de Prikry # généralisation # grand nombre cardinal

03E40 ; 03E55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-1180-1

Memoirs of the american mathematical society , 0671

Localisation : Collection 1er étage

caractéristiques cardinales du continuum # combination # condition # consistence # logique # méthode de forcing # norme # notion propre de forcing # possibilité # théorie d

03E05 ; 03E35 ; 03E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 136 p.
ISBN 978-0-521-26659-8

Cambridge tracts in mathematics , 0088

Localisation : Collection 1er étage

axiome de Martin # forcing # itération # théorie des ensembles # théorie des modèles

03Cxx ; 03E40 ; 03E50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-2468-9

Memoirs of the american mathematical society , 0404

Localisation : Collection 1er étage

axiome de choix # logique # theorie des ensembles # theorie des modeles

03E25 ; 03E35 ; 03E40 ; 03G30 ; 18B25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 158 p.
ISBN 978-0-19-853241-5

Oxford logic studies , 0012

Localisation : Ouvrage RdC (BELL)

logique mathématique et base # modèle Booléen-évalué # résultat d'uniformité et d'indépendance

03E40 ; 03-02 ; 03E35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 127 p.

Synthèse library , 0127

Localisation : Ouvrage RdC (BOWE)

calcul des prédicats # calcul modal des prédicats # complétude de modèle # consistance de joint # extension de modèle # forcing fini # interpolation # limite directe # logique modale # modèle de Kripke # morphisme # tableau sémantique # théorie des modèles # théorie inductive # théorème de Lowenheim-Skolem # ultrapoint

03B05 ; 03B45 ; 03C20 ; 03Cxx ; 03E40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Salle de manutention

fonction récursive # fondement de théorie des catégories # langage et structure # modèle cumulatif # modèle et ultra- produit # modèle générique # méthode de va et vient # propriété de forcing # reconstruction de graphe # relations dénombrables isomorphes # théorie des types # théorème de Karp-Myhill # théorème des mariages # équivalence logique pour le second ordre

03D20 ; 03E40 ; 05C60 ; 18171

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 99 p.

Localisation : Salle de manutention

classe universelle de relations n- aires # complétude structurale # forcing faible # intersection en ensemble fini # langue naturelle ou technique # porte de notion opératoire # preuve mathématique # relation unaire # théorie de Galois # théorie sur graphes orientés # théorème des 4 couleurs # type de graphe # ultraproduit de groupes finis

03Bxx ; 03E40 ; 03Fxx ; 04A05 ; 05C20

... Lire [+]

Z