Hyperdiagonalizable algebras

DOI10.1007/BF01187559MaRDI QIDQ1078181zbMATH OpenOpenAlexFDO

Authors Claudio Bernardi, Massimo Mirolli

Publication date 1985

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

fixed pointdiagonalizationdual spacesfinite model propertydiagonalizable algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
• scientific article; zbMATH DE number 3928996
• Topological duality for diagonalizable algebras
• Undecidability in diagonalizable algebras
• Fixed point algebras

Cites work

• scientific article; zbMATH DE number 3652414 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• Classifying positive equivalence relations
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Fixed point algebras
• On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)

Cited in

(9)

• Generic generalized Rosser fixed points
• scientific article; zbMATH DE number 5904687 (Why is no real title available?)
• scientific article; zbMATH DE number 4110689 (Why is no real title available?)
• scientific article; zbMATH DE number 3882425 (Why is no real title available?)
• Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
• On the autological character of diagonalizable algebras
• ALGEBRAS OF GENERALIZED DIHEDRAL TYPE
• scientific article; zbMATH DE number 780957 (Why is no real title available?)
• Fixed point algebras

This page was built for publication: Hyperdiagonalizable algebras

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