Weak monadic second order theory of one successor is not elementary recursive (1975)

by A R Meyer
Venue:In Proceedings of the Logic Colloquium (Boston 1972– 73), number 453 in Lecture Notes in Mathematics