The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
type: Item
instance of: scholarly article
title: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
zbMATH Open document ID: 0345.02020
DOI: 10.1007/BF02123401
author: Claudio Bernardi
published in: Studia Logica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 08B99
zbMATH DE Number: 3537651
MaRDI profile type: Publication
cites work: The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
cites work: Q5572358
cites work: The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
cites work: Solution of a problem of Leon Henkin
cites work: Q4121962
cites work: Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
cites work: Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
cites work: The varieties of arboreal experience
description: scientific article; zbMATH DE number 3537651