×

zbMATH — the first resource for mathematics

The diagonalizable algebras. (The algebraization of the theories which express Theor. II.). (English) Zbl 0352.08009

MSC:
08Axx Algebraic structures
03F99 Proof theory and constructive mathematics
PDF BibTeX XML Cite