Literature Cited
R. M. Smullyan, Theory of Formal Systems, Princeton University Press, Princeton (1963).
N. D. Jones, Computability Theory. An Introduction, Academic Press, New York (1973).
N. K. Kosovskii, “Certain properties of solutions of equations in a free semigroup,” in: Investigations on Constructive Mathematics and Mathematical Log. V [in Russian], Zap. Nauchn. Seminarov Leningradsk. Otdel. Mat. Inst. im. V. A. Steklova Akad. Nauk SSSR, Vol. 32, Leningrad (1972), pp. 21–28.
V. A. Nepomnyashchii, “Rudimentary predicates and Turing computations,” Dokl. Akad. Nauk SSSR,195, No. 2 (1970).
Additional information
Translated from Kibernetika, No. 2, pp. 44–46, March–April, 1978
Rights and permissions
About this article
Cite this article
Nepomnyashchii, V.A. Examples of predicates inexpressible by s-rudimentary formulas. Cybern Syst Anal 14, 198–200 (1978). https://doi.org/10.1007/BF01069350
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069350