Sequences Having an Effective Fixed-Point Property

DOI10.2307/1995883zbMath0319.02032OpenAlexW4246205179MaRDI QIDQ4081222

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

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

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