Literature cited
A. N. Degtev, “On deducibility operators,” in: 2nd All-Union Conference, on Applied Logic. Abstracts of Reports [in Russian], Novosibirsk (1988), p. 73.
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
I. C. E. Dekker, “A theorem on hypersimple sets,” Proc. Am. Math. Soc.,5, No. 5, 791–796 (1954).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 53, No. 3, pp. 23–28, March, 1993.
Rights and permissions
About this article
Cite this article
Degtev, A.N. Certain properties of deducibility operators. Math Notes 53, 259–262 (1993). https://doi.org/10.1007/BF01207711
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01207711