The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)

DOI10.1007/BF02125226zbMath0318.02031OpenAlexW2921156513MaRDI QIDQ1222158

Claudio Bernardi

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02125226

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Algebraic structures (08Axx)

Related Items (14)

Generic generalized Rosser fixed points ⋮ Definability and commonsense reasoning ⋮ Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ Fixed points and unfounded chains ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.) ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ On the autological character of diagonalizable algebras ⋮ On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ Extensions of the provability logic

Cites Work

• Unnamed Item
• Significato e verita nell'aritmetica peaniana
• Solution of a problem of Leon Henkin
• Theories incomparable with respect to relative interpretability
• Gödel's diagonalization technique and related properties of theories
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds

This page was built for publication: The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)