Weak monadic second order theory of succesor is not elementary-recursive
1975 ◽
pp. 132-154
◽
2006 ◽
Vol 181
(1)
◽
pp. 6-20
◽
Keyword(s):
1999 ◽
Vol 47
(5)
◽
pp. 643-652
◽
Keyword(s):
1984 ◽
Vol 57
(1)
◽
pp. 15-22
◽
Keyword(s):
1993 ◽
Vol 134
◽
pp. 347-348
Keyword(s):