Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. Int. Congr. Logic, Method. and Philos. Sci. 1960, 1?11. Stanford University Press 1962
2. Büchi, J.R., Landweber, L.H.: Definability in the monadic second-order theory of successor. J. Symb. Logic34, 166?170 (1969)
3. Elgot, C.C., Rabin, M.O.: Decidability and undecidability of extensions of second (first) order theories of (generalized) successor. J. Symb. Logic31, 169?181 (1966)
4. Lecture Notes in Mathematics;J. Flum,1975
5. Hanf, W.P.: Model-theoretic methods in the study of elementary logic. In: The theory of models, 132?145. Amsterdam: North-Holland 1965
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Shelah-Stupp’s Iteration and Muchnik’s Iteration;Fundamenta Informaticae;2018-03-21
2. The Lower Reaches of Circuit Uniformity;Mathematical Foundations of Computer Science 2012;2012
3. On Monadic Theories of Monadic Predicates;Fields of Logic and Computation;2010
4. Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies;Fundamentals of Computation Theory;2009
5. Weakly maximal decidable structures;RAIRO - Theoretical Informatics and Applications;2008-01