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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxiv, 654 p.
ISBN 978-3-540-79383-0
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften , 0021
Localisation : Oeuvres complètes RdC (ZERM)
oeuvres complètes # Ernst Zemelo # histoire des mathématiques # 20ème siècle # Landau # König # théorie des ensembles
01A70 ; 01A75 ; 03B60 ; 03E25 ; 03E30 ; 03E45 ; 03E55 ; 11A41 ; 91A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 88 p.
ISBN 978-0-444-86178-8
North-holland mathematics studies , 0051
Localisation : Ouvrage RdC (CHUA)
logique mathématique et base # axiomatic de théorie des ensembles classique et de ses fragments
03E25 ; 03E30 ; 03Exx ; 04-02 ; 04A25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 318 p.
ISBN 978-0-8218-1041-5
American mathematical society colloquium publications , 0041
Localisation : Collection 1er étage
logique # logique mathématique # logique symbolique # théorie d'ensembles
03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 226 p.
Studies in logic and the foundations of mathematics
Localisation : Ouvrage RdC (BERN)
aximatique # théorie des ensembles # épistémologie
03E30 ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 79 p.
ISBN 978-0-8218-3111-3
American mathematical society translations (series 2) , 0135
Localisation : Collection 1er étage
arithmétique du premier ordre complexe # axiomes de la théorie des ensembles # logique générale # théorie des modèles
03Bxx ; 03Cxx ; 03E30 ; 03F30 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 21 p.
Société mathématique de France
Localisation : Ouvrage RdC (GONS)
axiomatique # épistémologie des mathématiques
00A30 ; 03E30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 404 p.
ISBN 978-2-7056-6161-8
Collection enseignement des sciences , 0042
Localisation : Enseignement RdC (SCHW)
analyse # axiome de choix # axiome de l'infini # convergence # ensemble quotient # espace compact # espace de Banach # espace fonctionnel # espace métrique # espace topologique # espace vectoriel # famille # fonction continue # homéomorphisme # limite # logique # produit # produit de fonctions complexes # produit de fonctions réelles # produit infini de nombres # suite et filtre # théorie axiomatique # théorie des ensembles # théorie spéciale élémentaire # topologie
analyse # axiome de choix # axiome de l'infini # convergence # ensemble quotient # espace compact # espace de Banach # espace fonctionnel # espace métrique # espace topologique # espace vectoriel # famille # fonction continue # homéomorphisme # limite # logique # produit # produit de fonctions complexes # produit de fonctions réelles # produit infini de nombres # suite et filtre # théorie axiomatique # théorie des ensembles # théorie spéciale ...
03Bxx ; 03E25 ; 03E30 ; 03Exx ; 26-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 555 p.
ISBN 978-0-412-05161-6
Localisation : Disparu;Ouvrage RdC (DUDL)
analyse fonctionnelle # analyse réelle # convergence des lois # dualité d'espaces normés # ensemble analytique # ensemble convexe # espace métrique séparable # espérance conditionnelle # fonction de variables réelles # intégration # isomorphisme de Borel # martingale # mesure # mesure, topologie et différentiation # probabilité # processus stochastique # théorie des ensembles # théorie des probabilités # théorème central limite # topologie générale
analyse fonctionnelle # analyse réelle # convergence des lois # dualité d'espaces normés # ensemble analytique # ensemble convexe # espace métrique séparable # espérance conditionnelle # fonction de variables réelles # intégration # isomorphisme de Borel # martingale # mesure # mesure, topologie et différentiation # probabilité # processus stochastique # théorie des ensembles # théorie des probabilités # théorème central limite # topologie ...
03E30 ; 46-XX ; 52Axx ; 60F05 ; 60Gxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 358 p.
ISBN 978-0-7204-2284-9
Studies in logic and the foundationd of mathematics , 0084
Localisation : Ouvrage RdC (Sets)
Paul Bernays # bibliographie # biographie # ensemble et classe # fonction de choix d'ensemble ou classe # principe de réflexion et indescriptibilité # rôle des classes en théorie des ensembles # schéma d'infinité en théorie axiomatique des ensembles # système de théorie axiomatique des ensembles
01A70 ; 03E25 ; 03E30 ; 03Exx ; 04-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 210 p.
ISBN 978-0-8218-0266-3
Graduate studies in mathematics , 0008
Localisation : Collection 1er étage
axiomatique # axiome # fondement # théorie d'ensemble
03E05 ; 03E10 ; 03E25 ; 03E30 ; 04-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 424 p.
ISBN 978-0-521-77034-7
Encyclopedia of mathematics and its applications , 0082
Localisation : Collection 1er étage
logique mathématique # fondement des mathématiques # théorie des ensembles # théorie classique # philosophie des mathématiques # épistémologie # ensemble ordonné # nombre naturel # théorie euclidienne des ensembles # théorie cantorienne des ensembles
03B30 ; 00A30 ; 03A05 ; 03E30 ; 03E70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-2-10-005453-4
Localisation : Enseignement RdC (CORI)
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles
03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 265 p.
The university series in undergraduate mathematics
Localisation : Ouvrage RdC (SUPP)
théorie des ensembles # théorie axiomatique des ensembles
03-01 ; 03Exx ; 03E30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 276 p.
ISBN 978-0-387-28722-5
Undergraduate texts in mathematics
Localisation : Ouvrage RdC (MOSC)
théorie des ensembles # axiome de fondation # espace de Baire # axiome de remplacement # point fixe
03-01 ; 03E30 ; 03E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 168 p.
ISBN 978-1-10740-048-1
Localisation : Ouvrage RdC (SCHI)
logique mathématique # théorie des ensembles de Zermelo-Fraenkel # axiom du choix # nombre ordinal # nombre cardinal # arbre # filtre # esemble stationnaire # ZFC # espace de Baire # ultra-produit
03-01 ; 03E10 ; 03E30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 453 p.
ISBN 978-1-4471-2172-5
Springer monographs in mathematics
Localisation : Ouvrage RdC (HALB)
logique mathématique # théorie combinatoire des ensembles # théorie axiomatique des ensembles # nombre ordinal # nombre cardinal # invariant cardinal # théorème de Ramsey # forcing itéré # forcing
03E35 ; 03E17 ; 03E25 ; 05D10 ; 03E30 ; 03E50 ; 03E05 ; 03E10 ; 03E75 ; 03-01 ; 03-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 237 p.
ISBN 978-1-4704-4399-3
Student mathematical library , 0088
Localisation : Collection 1er étage
théorie des nombres # jeux mathématiques # 10ème problème de Hilbert # nombre transfini de Cantor # théorie axiomatique des ensembles # machine de Turing # théorème incomplet de Gödel
11U05 ; 12L05 ; 03-01 ; 03Dxx ; 03F40 ; 03F45 ; 03E30
... Lire [+]