Set theory and hierarchy theory V
proceedings of the Third conference in a mountain resort south-west of Poland
Sept. 17-24
Lachlan, A. (Editeur) ; Srebrny, M. (Editeur) ; Zarach, A. (Editeur)
1977
978-3-540-08521-8
00020624
algèbre de Boole # algèbre de Lindenbaum # arbre # bon ordonnancement # calcul différentiel # consistance de théorie ZF + L puissance 1 différent HOD # décidabilité # extensibilité de structure # extension de fin de modèle d'arithmétique # filtre # forcing aléatoire # groupe abélien # hypothèse du continu # langage L (Q indice 1) # modèle d'axiome de Peano # méthode nonstandard # nombre cardinal # ordonnancement linéaire # preuve engendrée par hiérarchie # propriété de Baire # propriété infinitoire # quantification Q indice alpha # relation entre epsilon-delta procédure # récursion de type fini # réduction de la théorie des types # sigma saturé # théorie de classe # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternative # topologie # treillis de degré de constructibilité
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne RFA
Langue : Anglais
EAN13 : 9783540085218
ISBN : 3-540-08521-1
Collation : 24 cm ; 358 p. ; Bibliogr. ; rel.
Collection : Lecture notes in mathematics
N° de collection : 0619
Localisation : Collection 1er étage
Notes : 3 volumes reliés ensemble L20624 à L20626
Nom de la rencontre : third conference on set theory and hierarchy theory
Numéro de congrès : 3
Année de la rencontre : 1976
Ville du congrès : Bierutowice
Pays du congrès : Pologne
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00020624 | [disponible] |