zbMATH — the first resource for mathematics

Definability in the monadic second-order theory of successor. (English) Zbl 0209.02203

03F35 Second- and higher-order arithmetic and fragments
03D55 Hierarchies of computability and definability
Full Text: DOI
[1] DOI: 10.1016/S0019-9958(66)80013-X · Zbl 0212.33902
[2] DOI: 10.1090/S0002-9904-1955-09896-3 · Zbl 0066.25901
[3] Introduction to metamathematics (1952)
[4] this Journal 31 pp 169– (1966)
[5] DOI: 10.1090/S0002-9939-1958-0093479-4
[6] Solving sequential conditions by finite state operators
[7] Proceedings of the international congress on logic, methodology and the philosophy of science (1962)
[8] Theory of recursive functions and effective computability (1967) · Zbl 0183.01401
[9] Advances in game theory pp 85– (1964)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.