Les ensembles k-reconnaissables sont définissables dans 〈N,+, Vk〉. Comptes Rendus de l’Académie des Sciences de Paris (1986)

by C Michaux, F Point