The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
type: Item
instance of: scholarly article
title: The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
zbMATH Open document ID: 0318.02031
DOI: 10.1007/BF02125226
author: Claudio Bernardi
published in: Studia Logica
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 08Axx
zbMATH DE Number: 3497870
MaRDI profile type: Publication
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: Gödel's diagonalization technique and related properties of theories
cites work: Significato e verita nell'aritmetica peaniana
cites work: Q4121962
cites work: Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
cites work: Theories incomparable with respect to relative interpretability
full work available at URL: https://doi.org/10.1007/bf02125226
OpenAlex ID: W2921156513
description: scientific article; zbMATH DE number 3497870