A complex of problems proposed by Post

DOI10.1090/S0002-9904-1964-11038-7zbMath0171.27401OpenAlexW2070212513MaRDI QIDQ5557938

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

Related Items (5)

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

Cites Work

• Unnamed Item
• A detailed argument for the Post-Linial theorems
• Recursively enumerable sets of positive integers and their decision problems
• The word problem

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