• Aucun résultat trouvé

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

N/A
N/A
Protected

Academic year: 2021

Partager "The proof-theoretic strength of Ramsey's theorem for pairs and two colors"

Copied!
33
0
0

Texte intégral

Loading

Références

Documents relatifs

We will extend this definition so that V r makes sense for every r positive

Nous construisons cette suite et demontrons sa convergence par les methodes de Nash et Moser.. Pour Ie probleme linearise nous utilisons les operateurs construits

In this section we shall explain how Fermat’s claim is related to torsion points of very special elliptic

Using, on the one side, a general result in linear algebra due to Klingenberg (see [Kli54]) and on the other side, a theorem on the holonomy of pseudo-Riemannian ma- nifolds

In the cases which were considered in the proof of [1, Proposition 7.6], the case when the monodromy group of a rank 2 stable bundle is the normalizer of a one-dimensional torus

If one of the ends has zero total mass, the initial data set can be obtained from the metric tensor and the second fundamental form of a spacelike hypersurface

[7] Chunhui Lai, A lower bound for the number of edges in a graph containing no two cycles of the same length, The Electronic J. Yuster, Covering non-uniform hypergraphs

(c) If the system is in the state decided and the user has chosen the process- oriented action stopProcess, the user has decided to stop the proof process (e.g., when the user