m

F Nous contacter

0

Documents  03E30 | enregistrements trouvés : 18

O
     

-A +A

P Q

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.

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Z