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

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais ; Français

EAN13 : 9783540055693

ISBN : 3-540-05569-X

Collation : 26 cm ; 660 p. ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0337

Localisation : Collection 1er étage

Année de la rencontre : 1971

Ville du congrès : Cambridge

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable

Exemplaires