The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Related Items (15)

The Henkin Sentence ⋮ Generic generalized Rosser fixed points ⋮ The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} ⋮ Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic ⋮ The well-founded algebras ⋮ Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ Finite fixed point algebras are subdiagonalisable ⋮ An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) ⋮ 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 ⋮ On modal \(\mu \)-calculus and Gödel-Löb logic ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ The modal logic of provability. The sequential approach

Cites Work

This page was built for publication: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)