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

Cites work

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

Cited in

(15)

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
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.)
Fixed points and unfounded chains
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
Exponential lower bounds on definable fixed points
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)