2000 character limit reached
Fixed Point Theorems in Computability Theory
Published 5 Feb 2024 in math.LO and cs.LO | (2402.03069v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.