Sequences Having an Effective Fixed-Point Property

DOI10.2307/1995883MaRDI QIDQ4081222zbMATH OpenOpenAlexFDO

Authors Thomas H. Payne

Publication date 1972

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Cites work

• Creative Functions
• Creative sets
• Gödel numberings of partial recursive functions
• Notation Systems and an Effective Fixed Point Property
• On the indexing of classes of recursively enumerable sets
• On Universal Functions
• STANDARD CLASSES OF RECURSIVELY ENUMERABLE SETS
• Theory of Formal Systems. (AM-47)

This page was built for publication: Sequences Having an Effective Fixed-Point Property

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