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

Exemplaires