m

Documents  Critères de recherche : "Set theory and hierarchy theory" | enregistrements trouvés : 3

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 [+]

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

Research talks;Logic and Foundations

Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set theory and beyond. For example, the principle of clopen determinacy for proper class games is exactly equivalent to the principle of elementary transfinite recursion ETR, strictly between GBC and GBC+$\Pi^1_1$-comprehension; open determinacy for class games, in contrast, is strictly stronger; meanwhile, the class forcing theorem, asserting that every class forcing notion admits corresponding forcing relations, is strictly weaker, and is exactly equivalent to the fragment $\text{ETR}_{\text{Ord}}$ and to numerous other natural principles. What is emerging is a higher set-theoretic analogue of the familiar reverse mathematics of second-order number theory. Recent work has clarified how various natural second-order set-theoretic principles, such as those concerned with class forcing or with proper class games, fit into a new robust hierarchy of second-order set theories between Gödel-Bernays GBC set theory and Kelley-Morse KM set theory and beyond. For example, the principle of clopen determinacy for proper class games is exactly equivalent to the principle of elementary transfinite recursion ETR, ...

03E60 ; 03E30 ; 03C62

... Lire [+]

Z