Gödel's diagonalization technique and related properties of theories

DOI10.4064/cm-28-2-165-180zbMath0288.02018OpenAlexW897594303MaRDI QIDQ4775856

Harold Simmons, Angus J. Macintyre

Publication date: 1973

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/cm-28-2-165-180

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)

Related Items

Franco Montagna's work on provability logic and many-valued logic ⋮ Fixed point algebras ⋮ The forcing companions of number theories ⋮ The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) ⋮ Un'estensione del teorema di Lob ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ Bounded Scott Set Saturation ⋮ Partially Conservative Extensions of Arithmetic ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS ⋮ Topological Interpretations of Provability Logic