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

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

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