Generic Kleene fixed point theorem

DOI10.17377/SEMI.2017.14.062MaRDI QIDQ2403650zbMATH OpenFDO

Authors Alexander Rybalov

Publication date 11 September 2017

Published in Sibirskie Elektronnye 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)

Recommendations

• Fixed point theorems for precomplete numberings
• scientific article; zbMATH DE number 4012595
• The knaster-tarski fixed-point theorem is not uniformly constructive
• scientific article; zbMATH DE number 3557768
• Fixed points and diagonal method

Cites work

• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 202575 (Why is no real title available?)
• scientific article; zbMATH DE number 1880324 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3315195 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A new proof of Gromov’s theorem on groups of polynomial growth
• Generic complexity of undecidable problems
• Generic incompleteness of formal arithmetic
• Generic-case complexity, decision problems in group theory, and random walks.
• On notation for ordinal numbers
• Rough isometries and the parabolicity of Riemannian manifolds
• \(\Phi\)-harmonic functions on discrete groups and the first \(\ell^\Phi\)-cohomology
• p-harmonic functions on graphs and manifolds

Cited in

(2)

• The contraction principle as a particular case of Kleene's fixed point theorem
• Kleene fixed point theorems and applications

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

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