Propriétés de graphe : ordre et arithmétique en logique des prédicats

par Julien Grange

Projet de thèse en Informatique

Sous la direction de Luc Segoufin.

Thèses en préparation à Paris Sciences et Lettres , dans le cadre de École doctorale de Sciences mathématiques de Paris Centre (Paris) , en partenariat avec LIENS - Laboratoire d'informatique de l'École normale supérieure (laboratoire) et de École normale supérieure (Paris ; 1985-....) (établissement de préparation de la thèse) depuis le 01-09-2017 .


  • Résumé

    On s'intéressera aux propriétés de graphe exprimables en logique des prédicats, enrichie d'un ordre, puis de l'addition. La question principale sera celle de la localité au sens de Hanf de <-inv-FO, ainsi que la détermination des classes de graphes sur lesquelles l'ordre n'apporte aucun pouvoir d'expression.

  • Titre traduit

    Graph properties: order and arithmetic in FO


  • Résumé

    We will work on graph properties that are definable in FO, with an order, first, and then with addition. The main focus will be on the Hanf-locality of <-inv-FO, and on the sets of graphs on which order doesn't add any expressibility power.