Generic Kleene fixed point theorem

DOI10.17377/semi.2017.14.062zbMath1431.03053MaRDI QIDQ2403650

Alexander N. Rybalov

Publication date: 11 September 2017

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

generic computabilityKleene fixed point theorem

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\Phi\)-harmonic functions on discrete groups and the first \(\ell^\Phi\)-cohomology
• Rough isometries and the parabolicity of Riemannian manifolds
• \(p\)-harmonic functions on graphs and manifolds
• Generic-case complexity, decision problems in group theory, and random walks.
• Generic incompleteness of formal arithmetic
• Generic complexity of undecidable problems
• A new proof of Gromov’s theorem on groups of polynomial growth
• On notation for ordinal numbers

This page was built for publication: Generic Kleene fixed point theorem