Les ensembles k-reconnaissables sont définissables dans < N,+, Vk >. (the k-recognizable sets are definable (1986)

by C Michaux, F Point
Venue:in < N, +, Vk