m
• E

F Nous contacter

0

Documents  03E65 | enregistrements trouvés : 5

O

P Q

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

Distributive Aronszajn trees Rinot, Assaf | CIRM H

Post-edited

Research talks;Logic and Foundations

It is well-known that the statement "all $\aleph_1$-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal $\lambda$: if there exists a $\lambda^+$-Aronszajn tree, then there exists a non-special one. Furthermore:
Theorem (Ben-David and Shelah, 1986) Assume GCH and that $\lambda$ is singular cardinal. If there exists a special $\lambda^+$-Aronszajn tree, then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.
This suggests that following stronger statement:
Conjecture. Assume GCH and that $\lambda$ is singular cardinal.
If there exists a $\lambda^+$-Aronszajn tree,
then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.

The assumption that there exists a $\lambda^+$-Aronszajn tree is a very mild square-like hypothesis (that is, $\square(\lambda^+,\lambda)$).
In order to bloom a $\lambda$-distributive tree from it, there is a need for a toolbox, each tool taking an abstract square-like sequence and producing a sequence which is slightly better than the original one.
For this, we introduce the monoid of postprocessing functions and study how it acts on the class of abstract square sequences.
We establish that, assuming GCH, the monoid contains some very powerful functions. We also prove that the monoid is closed under various mixing operations.
This allows us to prove a theorem which is just one step away from verifying the conjecture:

Theorem 1. Assume GCH and that $\lambda$ is a singular cardinal.
If $\square(\lambda^+,<\lambda)$ holds, then there exists a $\lambda$-distributive $\lambda^+$-Aronszajn tree.
Another proof, involving a 5-steps chain of applications of postprocessing functions, is of the following theorem.

Theorem 2. Assume GCH. If $\lambda$ is a singular cardinal and $\square(\lambda^+)$ holds, then there exists a $\lambda^+$-Souslin tree which is coherent mod finite.

This is joint work with Ari Brodsky. See: http://assafrinot.com/paper/29
It is well-known that the statement "all $\aleph_1$-Aronszajn trees are special'' is consistent with ZFC (Baumgartner, Malitz, and Reinhardt), and even with ZFC+GCH (Jensen). In contrast, Ben-David and Shelah proved that, assuming GCH, for every singular cardinal $\lambda$: if there exists a $\lambda^+$-Aronszajn tree, then there exists a non-special one. Furthermore:
Theorem (Ben-David and Shelah, 1986) Assume GCH and that $\lambda$ is singular ...

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

The structure of the real line Bukovsky, Lev | Birkhäuser 2011

Ouvrage

- 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

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

Descriptive set theory Moschovakis, Yiannis N. | American Mathematical Society 2009

Ouvrage

- 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

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

Axiom of choice Herrlich, Horst | Springer 2006

Ouvrage

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

Lecture notes in mathematics , 1876

Localisation : Collection 1er étage

axiome du choix

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

Analytic quotientsTheory of liftings for quotients over analytic ideals on the integers Farah, Ilijas | American Mathematical Society 2000

Ouvrage

ISBN 978-0-8218-2117-6

Memoirs of the american mathematical society , 0702

Localisation : Collection 1er étage

algébre booléen # quotient analytique # théorie d'ensemble

Filtrer

Codes MSC

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée

0
Z