Literature Cited
V. F. Kostyrko, “The decidability problem for a case of Ackerman,” Sibirsk. Mate. Zh.,6, No. 2 (1965).
J. S. Denton, “A reduction class with a single binary predicate,” Not. Amer. Math. Soc.,10 (1963).
V. F. Kostyrko, The Decidability Problem in the Restricted Predicate Calculus [in Russian], Candidate's Dissertation, Kiev (1965).
Yu. Sh. Gurevich, “Effective recognition of the satisfiability of formulas in the restricted predicate calculus,” Algebra i Logika,5, No. 2 (1966).
D. Klaua, “Systematische Behandlung der Lösbaren Fälle des Entscheidungsproblem,” Z. Math. Logik und Grundl. Math.,1 (1955).
V. F. Kostyrko, Undecidability of the elementary ∃-theory of groupoids,” in: Engineering Cybernetics [in Russian], Izd. IK Akad. Nauk Ukr. SSR, Kiev (1971).
Additional information
Institute of Cybernetics, Academy of Sciences of the Ukrainian SSR, Kiev. Translated from Kibernetika, No. 5, pp. 1–3, September–October, 1971.
Rights and permissions
About this article
Cite this article
Kostyrko, V.F. Reduction class\(\forall x\forall y\exists zF{\text{ (}}x{\text{,}}y,z) \wedge \forall ^m \mathfrak{A}(F)\) . Cybern Syst Anal 7, 753–755 (1971). https://doi.org/10.1007/BF01641489
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01641489