m

Documents  Zarach, A. | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-07856-2

Lecture notes in mathematics , 0537

Localisation : Collection 1er étage

algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité et universalité # théorie de la hiérarchie # théorie des ensembles # théorie des ensembles alternatives algèbre de Boule # alpha- récursion # axiome de Martin # beta- modèle # bibliographie # co-finalité # curriculum vitae # ensemble flou # extensibilité # hiérarchie de Von Neumann # jeu d'Ehrenfeucht # lemme de König # modèle de la théorie des ensembles de Morse # modèle standard # problème de Souslin # problème de décision # puissance de cardinal singulier # quantificateur de Härtig # quantificateur généralisé # réel définissable # saturabilité ...

03D60 ; 02F29 ; 02F35 ; 02H05 ; 02H13

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-08521-8

Lecture notes in mathematics , 0619

Localisation : Collection 1er étage

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é 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 ...

00Bxx ; 03-06

... Lire [+]

Z