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.
ISBN 978-3-540-05569-3
Lecture notes in mathematics , 0337
Localisation : Collection 1er étage
arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant
arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...
03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx
... Lire [+]
