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.)

DOI10.1007/BF02121662zbMath0322.02032OpenAlexW2319595945MaRDI QIDQ1223284

Franco Montagna

Publication date: 1976

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

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

Mathematics Subject Classification ID

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

Related Items (5)

Obituary: Franco Montagna (1948--2015) ⋮ Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.) ⋮ On the autological character of diagonalizable algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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.)
• Solution of a problem of Leon Henkin
• Problemi aperti sulle algebre diagonali
• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds

This page was built for publication: 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.)