scientific article; zbMATH DE number 3496130

MaRDI QIDQ4078002zbMATH OpenFDO

Authors G. Marongiu

Publication date 1974

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cited in

(3)

• 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 algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Problemi aperti sulle algebre diagonali

This page was built for publication:

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