论文信息 - The theory of successor with an extra predicate - 字舞流文

The theory of successor with an extra predicate

[1] Calvin C. Elgot,et al. Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor , 1966, J. Symb. Log..

[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[3] Lawrence H. Landweber,et al. Definability in the monadic second-order theory of successor , 1969, Journal of Symbolic Logic.

[4] D. Siefkes. Undecidable Extensions of Monadic Second Order Successor Arithmetic , 1971 .

[5] Wolfgang Thomas. A note on undecidable extensions of monadic second order successor arithmetic , 1975, Arch. Math. Log..

[6] J. Flum,et al. First-order logic and its extensions , 1975 .