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.
- 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.
- 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.
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.
- 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-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.
- 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.
- 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.
- 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.
- 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.
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.
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.
- 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.
- 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 [+]
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 [+]
