Isomorphism Types of Index Sets of Partial Recursive Functions

DOI10.2307/2035069zbMATH Open0163.25201OpenAlexW4241145368MaRDI QIDQ5547579FDOQ5547579

Authors: Louise Hay 

Publication date: 1966

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

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
• Gödel numberings of partial recursive functions
• Creative sets
• Degrees of Computability
• On Creative Sets and Indices of Partial Recursive Functions

Cited In (1)

• On index sets

This page was built for publication: Isomorphism Types of Index Sets of Partial Recursive Functions

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