m
     
Congrès

H 0 Cambridge summer school in mathematical logic
Aug. 1-21

Mathias, A. R. D. (Editeur) ; Rogers, H. (Editeur)

Springer-Verlag

1973

978-3-540-05569-3

00020385

03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020385

[disponible]
Z