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

Cites Work

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

Cited In (14)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1222158)