On Creative Sets and Indices of Partial Recursive Functions

DOI10.2307/1994026MaRDI QIDQ5547580zbMATH OpenOpenAlexFDO

Authors Louise Hay

Publication date 1965

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

zbMATH Keywords

recursion theory, constructive mathematics

Cites work

• scientific article; zbMATH DE number 3285221 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Creative sets
• Exact Separation of Recursively Enumerable Sets Within Theories
• Recursively enumerable sets of positive integers and their decision problems
• Representability of recursively enumerable sets in formal theories
• Representability op recursively enumerable sets in formal theories
• Some Theorems on Classes of Recursively Enumerable Sets
• Theory of Formal Systems. (AM-47)

Cited in

(1)

• Isomorphism Types of Index Sets of Partial Recursive Functions

This page was built for publication: On Creative Sets and Indices of Partial Recursive Functions

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