On Universal Functions

DOI10.2307/2033997zbMath0287.02023OpenAlexW4229691709MaRDI QIDQ4773690

Hartley jun. Rogers

Publication date: 1965

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (6)

On resemblance and isomorphism types of partial recursive functions ⋮ Honest universality ⋮ Notation Systems and an Effective Fixed Point Property ⋮ Honest Computability and Complexity ⋮ On resemblance and recursive isomorphism types of bounded partial recursive functions ⋮ Sequences Having an Effective Fixed-Point Property

Cites Work

• The Definition of Universal Turing Machine
• Gödel numberings of partial recursive functions

This page was built for publication: On Universal Functions