Propriétés arithmétiques de théorèmes combinatoires.

Arithmetical properties of combinatorics theorems.

• Auteur / Autrice : Ahmed Mimouni
• Direction : Julien Cervelle
• Type : Projet de thèse
• Discipline(s) : Informatique
• Date : Inscription en doctorat le 01/09/2022
• Etablissement(s) : Paris 12
• Ecole(s) doctorale(s) : École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'algorithmique, complexité et logique (Créteil)

Mots clés

Mots clés libres

Mathématiques à rebours

Théorie de Ramsey

Calculabilité

Reverse mathematics

Ramsey theory

Computability

Résumé

Etudier les théorèmes RTT^n_k et FS^n, pour établir si ces hiérarchies sont strictes en mathématiques à rebours.

Study the RTT^n_k and FS^n theorems, to establish if these hierarchies are strict in reverse mathematics.