Fixed points and diagonal method

DOI10.1002/MALQ.19900360406zbMath0691.03029OpenAlexW2081888140MaRDI QIDQ3032243

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 theoremrecursion theoryformal arithmeticsquare matricesCantor's diagonal theoremunsuccessful diagonalization

Mathematics Subject Classification ID

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

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