Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)

DOI10.1007/BF02124729MaRDI QIDQ1254313zbMATH OpenOpenAlexFDO

Authors Giovanni Sambin

Publication date 1978

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02124729

zbMATH Keywords

Algebraic LogicDiagonalizable AlgebrasEquational ClassFinite Model PropertyFixed PointsPredicate TheorProof Theory

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Proof theory and constructive mathematics (03F99) Other algebras related to logic (03G25)

Cites work

• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 3606452 (Why is no real title available?)
• Intuitionistic diagonalizable algebras
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)

Cited in

(1)

• Fixed point algebras

This page was built for publication: Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1254313)