Fixed points and diagonal method

DOI10.1002/MALQ.19900360406zbMATH Open0691.03029OpenAlexW2081888140MaRDI QIDQ3032243FDOQ3032243

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

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

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)

Cited In (11)

• Substructural fixed-point theorems and the diagonal argument: theme and variations
• Title not available (Why is that?)
• Diagonal fixed points in algebraic recursion theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some unifying fixed point principles
• Diagonalization, uniformity, and fixed-point theorems
• Analogy and diagonal argument
• Naming and Diagonalization, from Cantor to Godel to Kleene
• Analysis of the Diagonal Pivoting Method

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)