Fixed points and diagonal method

DOI10.1002/MALQ.19900360406MaRDI QIDQ3032243zbMATH OpenOpenAlexFDO

Authors Maurizio Negri

Publication date 1990

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19900360406

zbMATH Keywords

fixed point theoremformal arithmeticrecursion theorysquare matricesCantor's diagonal theoremunsuccessful diagonalization

Mathematics Subject Classification ID

Canonical forms, reductions, classification (15A21) First-order arithmetic and fragments (03F30) Applications of computability and recursion theory (03D80)

Recommendations

• Fixed points and self-reference
• Diagonal arguments and fixed points
• Diagonalization, uniformity, and fixed-point theorems
• Some unifying fixed point principles
• scientific article; zbMATH DE number 664031

Cited in

(14)

• scientific article; zbMATH DE number 664031 (Why is no real title available?)
• Diagonalization, uniformity, and fixed-point theorems
• Diagonal fixed points in algebraic recursion theory
• Diagonal fixed points of geometric contractions
• Generic Kleene fixed point theorem
• Substructural fixed-point theorems and the diagonal argument: theme and variations
• Diagonal arguments and fixed points
• Naming and Diagonalization, from Cantor to Godel to Kleene
• Analogy and diagonal argument
• Analysis of the Diagonal Pivoting Method
• scientific article; zbMATH DE number 2210907 (Why is no real title available?)
• scientific article; zbMATH DE number 7312915 (Why is no real title available?)
• Some unifying fixed point principles
• scientific article; zbMATH DE number 4178075 (Why is no real title available?)

This page was built for publication: Fixed points and diagonal method

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