On the autological character of diagonalizable algebras
type: Item
instance of: scholarly article
title: On the autological character of diagonalizable algebras
zbMATH Open document ID: 0359.02027
DOI: 10.1007/BF02123400
author: Roberto Magari
published in: Studia Logica
publication date: 1976-01-01T00:00:00Z
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.
reviewed by: Raffaella Franci
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 08B99
zbMATH DE Number: 3559538
MaRDI profile type: Publication
cites work: The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
cites work: On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
cites work: Q4121962
cites work: Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
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.)
cites work: Q3968924
cites work: Q5734410
description: scientific article; zbMATH DE number 3559538