On the autological character of diagonalizable algebras

DOI10.1007/BF02123400zbMath0359.02027MaRDI QIDQ1238804

Roberto Magari

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Varieties (08B99) Proof theory and constructive mathematics (03F99)

Related Items (2)

Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic ⋮ Fixed point algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
• For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
• 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.)

This page was built for publication: On the autological character of diagonalizable algebras