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 10 related papers. Consider them for comparative context: