On Creative Sets and Indices of Partial Recursive Functions

DOI10.2307/1994026zbMATH Open0163.25202OpenAlexW4256540346MaRDI QIDQ5547580FDOQ5547580

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

• Title not available (Why is that?)
• Theory of Formal Systems. (AM-47)
• Some Theorems on Classes of Recursively Enumerable Sets
• Recursively enumerable sets of positive integers and their decision problems
• Title not available (Why is that?)
• Creative sets
• Representability of recursively enumerable sets in formal theories
• Representability op recursively enumerable sets in formal theories
• Exact Separation of Recursively Enumerable Sets Within Theories

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)