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

DOI10.1007/BF02124729zbMath0398.03055OpenAlexW34307505MaRDI QIDQ1254313

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

Proof TheoryAlgebraic LogicDiagonalizable AlgebrasEquational ClassFinite Model PropertyFixed PointsPredicate Theor

Mathematics Subject Classification ID

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

Related Items

Fixed point algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic diagonalizable algebras
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)