M. Shub, B. Weiss
Ergodic Theory and Dynamical Systems
Paper
Decidability of second-order theories and automata on infinite trees
Abstract
In this note we announce the solvability of the decision problem of the (monadic) second-order theory of two suc- cessor functions (S2S). This answers a question raised by Büchi.
Related
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Tong Zhang, G.H. Golub, et al.
Linear Algebra and Its Applications
Zhihua Xiong, Yixin Xu, et al.
International Journal of Modelling, Identification and Control