An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)

Related Items (26)

Effectively constructible fixed points in Sacchetti's modal logics of provability ⋮ The Henkin Sentence ⋮ Generic generalized Rosser fixed points ⋮ Some remarks on the algebraic structure of the Medvedev Lattice ⋮ On the \(\mu \)-calculus over transitive and finite transitive frames ⋮ A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) ⋮ A proof theory for the logic of provability in true arithmetic ⋮ 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 ⋮ Provability and interpretability logics with restricted realizations ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Provability: The emergence of a mathematical modality ⋮ Scattered toposes ⋮ Fixed point algebras ⋮ Fixed points and unfounded chains ⋮ Note on some fixed point constructions in provability logic ⋮ Finite fixed point algebras are subdiagonalisable ⋮ 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 ⋮ Rosser and Mostowski sentences ⋮ The modalized Heyting calculus: a conservative modal extension of the Intuitionistic 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 ⋮ Constructive Modalities with Provability Smack ⋮ Decision problems for classes of diagonalizable algebras

Cites Work

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