An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
type: Item
instance of: scholarly article
title: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
zbMATH Open document ID: 0357.02028
DOI: 10.1007/BF02123402
author: Giovanni Sambin
published in: Studia Logica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 3556030
MaRDI profile type: Publication
cites work: The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
cites work: The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
cites work: Significato e verita nell'aritmetica peaniana
cites work: Problemi aperti sulle algebre diagonali
cites work: Q4121962
cites work: Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
cites work: Gödel's diagonalization technique and related properties of theories
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
cites work: Topological aspects of suitable theories
cites work: Q3900021
cites work: Intuitionistic diagonalizable algebras
full work available at URL: https://doi.org/10.1007/bf02123402
OpenAlex ID: W1987214648
description: scientific article; zbMATH DE number 3556030