Documents  03E45 | enregistrements trouvés : 25

- 329 p.

Proceedings of the Steklov institute of mathematics , 0093

Localisation : Collection 1er étage

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

... Lire [+]

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

Contemporary mathematics , 0039

Localisation : Collection 1er étage

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

... Lire [+]

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

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

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

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

- 77 p.
ISBN 978-90-6196-301-1

CWI tract , 0024

Localisation : Collection 1er étage

03D60 ; 03E45 ; 03E55 ; 04A20

... Lire [+]

- 149 p.
ISBN 978-0-521-31802-0

London mathematical society lecture note series , 0097

Localisation : Collection 1er étage

analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives

03E45 ; 03F50 ; 03F55 ; 03F60

... Lire [+]

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

- 283 p.

Pure and applied mathematics , 0013

Localisation : Ouvrage RdC (KURA)

algèbre d'ensemble # calcul des propositions # différent type d'ensemble # dimension d'ensemble # ensemble ordonné # espace compact # espace complet # espace connecté # espace métrique # espace séparable # fonction propositionnelle # nombre cardinal # partage du plan # produit cartésien # représentation continue # simplexe # théorie des ensembles

03E10 ; 03E45 ; 03E47 ; 03E50 ; 03Exx

... Lire [+]

- 269 p.

Localisation : Ouvrage RdC (MOST)

consistance de l'axiome de choix # définabilité de foncteur # ensemble constructible # forcing # hypothèse du continu # indépendance de l'axiome de choix # polynôme # réduction de modèle # théorie des ensembles de Zermelo-Fraenkel

03Cxx ; 03E45 ; 03Fxx

... Lire [+]

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

- 491 p.
ISBN 978-0-521-06791-1

Localisation : Ouvrage RdC (WHIT)

famille cyclique # mesure # nombre ordinal # principe de mathématiques # série # série compacte # Whitehead # oeuvres complètes

03E10 ; 03E45 ; 04A10

... Lire [+]

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

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

- 121 p.
ISBN

Bonner mathematische schriften , 0295

Localisation : Publication 1er étage

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

03E55 ; 03E45

... Lire [+]

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

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

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