m
     
Congrès

H 0 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)

Springer-Verlag

1977

978-3-540-08521-8

00020624

00Bxx ; 03-06

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


Exemplaires

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

[disponible]
Z