A complex of problems proposed by Post

DOI10.1090/S0002-9904-1964-11038-7MaRDI QIDQ5557938zbMATH OpenOpenAlexFDO

Authors W. E. Singletary

Publication date 1964

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1964-11038-7

zbMATH Keywords

recursion theory, constructive mathematics

Cites work

• A detailed argument for the Post-Linial theorems
• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• Recursively enumerable sets of positive integers and their decision problems
• The word problem

Cited in

(5)

• Translations and structure for partial propositional calculi
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• A note on finite axiomatization of partial propositional calculi
• The equivalence of some general combinatorial decision problems
• Some structure results for propositional calculi

This page was built for publication: A complex of problems proposed by Post

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5557938)