On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate

DOI10.2307/2266211zbMath0020.19501OpenAlexW2014988510MaRDI QIDQ5772181

L. Kalmár

Publication date: 1939

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266211

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

On the Influence of Technology on Learning Processes ⋮ Contributions to the reduction theory of the decision problem ⋮ Contributions to the reduction theory of the decision problem ⋮ A Groupoid of Isomorphic Data Transformations

Cites Work

• General recursive functions of natural numbers
• Beiträge zum Entscheidungsproblem der mathematischen Logik
• \(\lambda\)-definability and recursiveness
• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem

This page was built for publication: On the reduction of the decision problem. First paper. Ackermann prefix, a single binary predicate