Answers are grounded in this paper and cite their sources.
Introduction. In this paper we solve the decision problem of a certain secondorder mathematical theory and apply it to obtain a large number of decidability results. The method of solution involves the development of a theory of automata on infinite trees-a chapter in combinatorial mathematics which may be of independent interest.
No takes yet. Share an insight, caveat, or question.
Michael O. Rabin (1969) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: