m

Documents  03C15 | enregistrements trouvés : 7

O
     

-A +A

P Q

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

- 142 p.
ISBN 978-2-7606-1529-8

Séminaire de mathématiques supérieures , 109

Localisation : Salle de manutention

combinatoire # fonction des modèles # fondement de la logique # logique # relations # théorie des ensembles # théorie des graphes # théorie des modèles

03C15 ; 04A45 ; 05C60

... Lire [+]

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

- 148 p.
ISBN 978-0-8218-0877-1

CRM proceedings & lecture notes , 0015

Localisation : Collection 1er étage

géométrie différentielle # système dynamique différentiable # topologie différentielle

03C15 ; 58Dxx ; 58Fxx

... Lire [+]

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

Research talks;Combinatorics;Logic and Foundations

The Galvin-Prikry theorem states that Borel partitions of the Baire space are Ramsey. Thus, given any Borel subset $\chi$ of the Baire space and an infinite set $N$, there is an infinite subset $M$ of $N$ such that $\left [M \right ]^{\omega }$ is either contained in $\chi$ or disjoint from $\chi$ . In their 2005 paper, Kechris, Pestov and Todorcevic point out the dearth of similar results for homogeneous relational structures. We have attained such a result for Borel colorings of copies of the Rado graph. We build a topological space of copies of the Rado graph, forming a subspace of the Baire space. Using techniques developed for our work on the big Ramsey degrees of the Henson graphs, we prove that Borel partitions of this space of Rado graphs are Ramsey. The Galvin-Prikry theorem states that Borel partitions of the Baire space are Ramsey. Thus, given any Borel subset $\chi$ of the Baire space and an infinite set $N$, there is an infinite subset $M$ of $N$ such that $\left [M \right ]^{\omega }$ is either contained in $\chi$ or disjoint from $\chi$ . In their 2005 paper, Kechris, Pestov and Todorcevic point out the dearth of similar results for homogeneous relational structures. We have ...

05D10 ; 03C15 ; 03E75

... Lire [+]

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

- 275 p.
ISBN 978-0-8218-1799-5

American mathematical society translations série 2 , 0099

Localisation : Collection 1er étage

calcul constructif # construction # ensemble de dénombrable # logique constructive # théorie des algorithmes

03C15 ; 03C30 ; 68Qxx ; 68Rxx

... Lire [+]

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

- 451 p.
ISBN 978-0-444-50542-2

Studies in logic and the foundations of mathematics , 0145

Localisation : Ouvrage RdC (FRAI)

logique # combinatoire # théorie des relations # arbre # cofinalité # théorie axiomatique des ensembles # structure ordonnée # idéal # théorie de Ramsey # partition # chaîne # relation ordonnée # relation homogène # relation saturée # opérateur libre # système relationel # âge # orbite

03E20 ; 03-02 ; 03C15 ; 03E05 ; 05-02 ; 06A06 ; 08A02

... Lire [+]

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

- v; 101 p.
ISBN 978-1-4704-2657-6

Memoirs of the American Mathematical Society , 1187

Localisation : Collection 1er étage

mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

... Lire [+]

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

- 168 p.
ISBN 978-3-540-41654-8

Algorithms and combinatorics , 0022

Localisation : Ouvrage RdC (SPEN)

graphe # logique # graphe aléatoire # logique de premier ordre # structure finie # théorie des modèles # structure dénombrable # loi du zéro-un # structure discrète

05C80 ; 03-02 ; 03B10 ; 03C13 ; 03C15

... Lire [+]

Z