m

F Nous contacter

0

Documents  03E45 | enregistrements trouvés : 25

O

-A +A

P Q

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

- xx; 322 p.
ISBN 978-1-4704-2256-1

Contemporary mathematics , 0690

Localisation : Collection 1er étage

W. Hugh Woodin # théorie des ensembles # grand cardinal # espace de Banach # récursion # philosophie

03-06 ; 03Exx ; 00B15 ; 00B30 ; 03E55 ; 03E60 ; 03E57 ; 03E45 ; 03E35 ; 03E15 ; 00A30 ; 03D03

... Lire [+]

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

- 329 p.

Proceedings of the Steklov institute of mathematics , 0093

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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

- 287 p.
ISBN 978-0-8218-3013-0

Proceedings of the Steklov institute of mathematics , 0113

Localisation : Collection 1er étage

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

... Lire [+]

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

- 91 p.
ISBN 978-0-8218-5040-4

Contemporary mathematics , 0039

Localisation : Collection 1er étage

03A05 ; 03E25 ; 03E45 ; 03F65 ; 36A03

... Lire [+]

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


ISBN 978-0-8405-0083-0

SMS , 0025

Localisation : Salle de manutention

axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

... Lire [+]

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

Research talks

By the Cantor-Bendixson theorem, subtrees of the binary tree on $\omega$ satisfy a dichotomy - either the tree has countably many branches or there is a perfect subtree (and in particular, the tree has continuum manybranches, regardless of the size of the continuum). We generalize this to arbitrary regular cardinals $\kappa$ and ask whether every $\kappa$-tree with more than $\kappa$ branches has a perfect subset. From large cardinals, this statement isconsistent at a weakly compact cardinal $\kappa$. We show using stacking mice that the existence of a non-domestic mouse (which yields a model with a proper class of Woodin cardinals and strong cardinals) is a lower bound. Moreover, we study variants of this statement involving sealed trees, i.e. trees with the property that their set of branches cannot be changed by certain forcings, and obtain lower bounds for these as well. This is joint work with Yair Hayut. By the Cantor-Bendixson theorem, subtrees of the binary tree on $\omega$ satisfy a dichotomy - either the tree has countably many branches or there is a perfect subtree (and in particular, the tree has continuum manybranches, regardless of the size of the continuum). We generalize this to arbitrary regular cardinals $\kappa$ and ask whether every $\kappa$-tree with more than $\kappa$ branches has a perfect subset. From large cardinals, this ...

03E45 ; 03E35 ; 03E55 ; 03E05

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

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

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

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

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

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

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

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

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.

Set theory Jech, Thomas | Springer 2003

Ouvrage

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

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

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

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

- 118 p.
ISBN 978-0-8218-3971-3

Memoirs of the american mathematical society , 0876

Localisation : Collection 1er étage

ensemble de Borel # constructibilité # théorie descriptive des ensembles # problème de Luzin # univers constructible # recouvrement compact

03E15 ; 03E45 ; 54H05

... Lire [+]

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

- 121 p.
ISBN

Bonner mathematische schriften , 0295

Localisation : Publication 1er étage

grand nombre cardinal # conjecture de Chang # modèle intérieur

03E55 ; 03E45

... Lire [+]

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

- 105 p.
ISBN

Bonner mathematische schriften , 0329

Localisation : Publication 1er étage

théorie des ensembles # consistance # modèle de noyau # conjecture de Chang # combinatoire

03E45

... Lire [+]

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

- 221 p.
ISBN 978-3-11-016777-1

De Gruyter series in logic and its applications , 0003

Localisation : Ouvrage RdC (FRIE)

classe de forcing # logique # problème spectrale # structure fine # théorie descriptive des ensembles # théorème de codage

03-02 ; 03E15 ; 03E35 ; 03E45 ; 03E55

... Lire [+]

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

- 130 p.
ISBN 978-3-540-57494-1

Lecture notes in logic , 0003

Localisation : Ouvrage RdC (MITC)

arbre d'itérations # bonne suite d'extenseurs # fermeture sous segment initial # logique # processus de comparaison # solidité et condensation # souris écrasée # structure fine # structure finie # ultrapuissance # unicité de branche bien trouvée # unicité de l'extenseur suivant

03E10 ; 03E45 ; 03E55 ; 04A10 ; 04A15

... Lire [+]

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

- 668 p.
ISBN 978-0-444-87295-1

Studies in logic and the foundations of mathematics , 0125

Localisation : Ouvrage RdC (ODIF)

arithmétique # constructibilité # fondement de la logique # informatique # informatique théorique # logique # mathématique constructible # programmation mathématique # récursion # science de l'informatique # théorie d'ensemble # théorie de la preuve

03Dxx ; 03E45 ; 03F30 ; 68Q05

... Lire [+]

Z