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

DOI10.1007/BF02123401zbMath0345.02020MaRDI QIDQ1233018

Claudio Bernardi

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

08B99: Varieties

03F99: Proof theory and constructive mathematics

Related Items

Finite fixed point algebras are subdiagonalisable, On modal \(\mu \)-calculus and Gödel-Löb logic, The modal logic of provability. The sequential approach, Generic generalized Rosser fixed points, Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic, The well-founded algebras, Provability: The emergence of a mathematical modality, 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, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, Fixed point algebras

Cites Work

• Unnamed Item
• Unnamed Item
• The varieties of arboreal experience
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Solution of a problem of Leon Henkin
• The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds