Fixed Point Theorems in Computability Theory

Sebastiaan A. Terwijn
2024-02-05
Abstract:We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to these.
Logic,Logic in Computer Science
What problem does this paper attempt to address?