On the autological character of diagonalizable algebras

DOI10.1007/BF02123400MaRDI QIDQ1238804zbMATH OpenFDO

Authors Roberto Magari

Publication date 1976

Published in Studia Logica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Review text

Let \(J\) be the first order theory of diagonalizable algebras (for first concepts on d. a. see \textit{R. Magari} [Boll. Un. mat. Ital., IV. Ser. 12, Suppl. Fasc. 3, 117-125 (1975; Zbl 0352.08009)]). The author defines a bijection \(\varphi\) from the identities of \(J\) to the open formulas of \(J\) and he proves that \(t_1=t_2\) is an identity of the diagonalizable algebras iff \(\varphi(t_1=t_2)\) is valid.

Recommendations

• scientific article; zbMATH DE number 3928996
• Undecidability in diagonalizable algebras
• The finite inseparability of the first-order theory of diagonalisable algebras
• Hyperdiagonalizable algebras
• scientific article; zbMATH DE number 733218

Cites work

• 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.)
• scientific article; zbMATH DE number 3792155 (Why is no real title available?)
• scientific article; zbMATH DE number 3547370 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• 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.)

Cited in

(9)

• Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
• Diagonalizable derivations of finite-dimensional algebras. I
• Fixed point algebras
• scientific article; zbMATH DE number 4110689 (Why is no real title available?)
• scientific article; zbMATH DE number 109549 (Why is no real title available?)
• scientific article; zbMATH DE number 540506 (Why is no real title available?)
• scientific article; zbMATH DE number 780957 (Why is no real title available?)
• A note on the diagonalizable algebras of PA and ZF
• The finite inseparability of the first-order theory of diagonalisable algebras

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

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