On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
type: Item
instance of: scholarly article
title: On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
zbMATH Open document ID: 0398.03054
DOI: 10.1007/BF02124724
author: Franco Montagna
published in: Studia Logica
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3618147
zbMATH Keywords: Boolean Algebras
zbMATH Keywords: Predicate Theor
zbMATH Keywords: Algebraic Logic
zbMATH Keywords: Varieties
zbMATH Keywords: Proof Theory
zbMATH Keywords: Equational Class
zbMATH Keywords: Diagonalizable Algebra
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: Arithmetization of metamathematics in a general setting
cites work: Q3259695
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: Q4078002
cites work: An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
cites work: Topological aspects of suitable theories
full work available at URL: https://doi.org/10.1007/bf02124724
OpenAlex ID: W44069527
description: scientific article; zbMATH DE number 3618147