Documents  03E60 | enregistrements trouvés : 19

- xi; 330 p.
ISBN 978-0-8218-4812-8

Contemporary mathematics , 0533

Localisation : Collection 1er étage

théorie des ensembles # théorie de Ramsey

03C55 ; 03E15 ; 03E17 ; 03E35 ; 03E60 ; 46L05 ; 54A20 ; 54A25 ; 54D20 ; 91A44 ; 03-06 ; 03Exx ; 00B25

... Lire [+]

- 150 p.
ISBN 978-0-8218-3819-8

Contemporary mathematics , 0425

Localisation : Collection 1er étage

logique

03C52 ; 03D25 ; 03D35 ; 03D80 ; 03E05 ; 03E15 ; 03E55 ; 03E60 ; 05C12 ; 52C20

... Lire [+]

- 387 p.
ISBN

Astérisque , 0177

Localisation : Périodique 1er étage

17B65 ; 20Gxx ; 22E65 ; 12A35 ; 12A65 ; 11E57 ; 11E72 ; 20G30 ; 11F72 ; 58G25 ; 57R30 ; 58G99 ; 35P05 ; 53C57 ; 19D55 ; 14F99 ; 20G40 ; 04A15 ; 54H05 ; 03E60 ; 11F80 ; 11F12 ; 11F46 ; 11F70 ; 22E50 ; 14E30 ; 14E35 ; 10B15 ; 14G05 ; 58G30 ; 53C15 ; 58F05 ; 58C10 ; 34C25

... Lire [+]

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

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

- vii; 172 p.
ISBN 978-1-4704-1692-8

Memoirs of the american mathematical society , 1111

Localisation : Collection 1er étage

souris # modèle interne # théorie descriptive des ensembles # HOD

03E15 ; 03E45 ; 03E60

... Lire [+]

- xiv; 1449-2197 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

- xiv; 737-1447 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

- xiv; 736 p.
ISBN 978-1-4020-4843-2

Localisation : Ouvrage RdC (HAND)

théorie des ensembles

03-00 ; 03Exx ; 00B15 ; 03E02 ; 03E04 ; 03E05 ; 03E10 ; 03E15 ; 03E17 ; 03E35 ; 03E40 ; 03E45 ; 03E55 ; 03E60

... Lire [+]

- xiv; 536 p.
ISBN 978-3-0348-0005-1

Monografie matematyczne , 0071

Localisation : Ouvrage RdC (BUKO)

fonction réelle # topologue élémentaire # application à la théorie des ensembles

03E15 ; 03E17 ; 03E25 ; 03E35 ; 03E50 ; 03E60 ; 03E65 ; 26A21 ; 28A05 ; 28A99 ; 54D99 ; 54G15 ; 54H05 ; 26-02 ; 26A03 ; 03E75

... Lire [+]

- xiii; 769 p.
ISBN 978-3-540-44085-7

Springer monographs in mathematics

Localisation : Ouvrage RdC (JECH)

axiome de théorie des ensembles # logique mathématique # nombre cardinal # théorie des ensembles # théorie des modèles # théorie descriptive des ensembles

03Exx ; 03-02 ; 03-01 ; 03E05 ; 03E45 ; 03E15 ; 03E40 ; 03E50 ; 03E55 ; 03E35 ; 03E60 ; 03E04 ; 03E10 ; 03E17 ; 03E02

... Lire [+]

- xiv; 502 p.
ISBN 978-0-8218-4813-5

Mathematical surveys and monographs , 0155

Localisation : Collection 1er étage

théorie descriptive des ensembles # axiome # fonction récursive # hierarchie # classes d'ensembles # ensemble de Borel # ensemble projectif

03-02 ; 03D55 ; 03E15 ; 28A05 ; 54H05 ; 03E60 ; 03E65 ; 03E45 ; 03D20 ; 03D75 ; 26A21

... Lire [+]

- xi; 445 p.
ISBN 978-0-521-89951-2

Lecture notes in logic , 0031

Localisation : Ouvrage RdC (GAME)

logique # théorie descriptive des ensembles # axiome de détermination

03-06 ; 91-06 ; 00B15 ; 03E15 ; 03E60 ; 91A44

... Lire [+]

- 194 p.
ISBN 978-3-540-30989-5

Lecture notes in mathematics , 1876

Localisation : Collection 1er étage

axiome du choix

03E25 ; 03E60 ; 03E65 ; 05C15 ; 06B10 ; 08B30 ; 18A40 ; 26A03 ; 28A20 ; 46A22 ; 54Bxx ; 54C35 ; 54Dxx ; 91a35

... Lire [+]

- 132 p.
ISBN 978-0-8218-3604-0

University lecture series , 0032

Localisation : Collection 1er étage

théorie des ensembles # théorie descriptive des ensembles # tour stationnaire # grand cardinal # théorème de Woodin # forcing # plongement

03E40 ; 03E15 ; 03E35 ; 03E55 ; 03E60

... Lire [+]

- 536 p.
ISBN 978-3-540-57071-4

Perspectives in mathematical logic

Localisation : Ouvrage RdC (KANA)

arbre et structure # compacité # constructibilité # détermination # forcing et ensemble de réels # grands cardinaux # hypothèse forte # inaccessibilité # indescriptibilité # infini supérieur # jeu infini # mesurabilité # plongement # propriété de partition # théorie des ensembles

03E05 ; 03E15 ; 03E35 ; 03E55 ; 03E60

... Lire [+]

- 322 p.
ISBN 978-0-444-87708-6

Studies in logic and the foundations of mathematics , 0116

Localisation : Ouvrage RdC (RUBI)

théorie des ensembles # axiome de choix et de propositions équivalentes # logique mathématique et fondation

03E25 ; 03E60 ; 03Exx ; 04A25

... Lire [+]

- 77 p.
ISBN 978-2-85978-055-5

Localisation : Ouvrage RdC (BOUL)

03A05 ; 03B25 ; 03E60

... Lire [+]