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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... Lire [+]
