Extension de la méthode de Ash pour la logique existentielle du second-ordre

La notion de k-quivalence d’Ehrenfeucht-Fraïssé a été utilisée par Ash pour apporter un nouvel éclairage sur la question NE=co-NE, vue sous l’angle de la complexité descriptive.

Dans une premire partie, j’exposerai cette problématique, puis j’envisagerai l’extension de cette approche l’étude de la question NP=co-NP.