Representability of Partial Recursive Functions in Formal Theories

DOI10.2307/2035433MaRDI QIDQ5607995zbMATH OpenOpenAlexFDO

Authors William Ernest Ritter

Publication date 1967

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Representability of recursively enumerable sets in formal theories
• Representability op recursively enumerable sets in formal theories
• Undecidable theories

Cited in

(1)

• Computability of partial functions and enumerability of sets in Peano's arithmetic

This page was built for publication: Representability of Partial Recursive Functions in Formal Theories

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