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.02032MaRDI QIDQ1223284

Franco Montagna

Publication date: 1976

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

Mathematics Subject Classification ID

08B99: Varieties

03F99: Proof theory and constructive mathematics

08Axx: Algebraic structures

Related Items

Provability: The emergence of a mathematical modality, On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.), On the autological character of diagonalizable algebras, Obituary: Franco Montagna (1948--2015), Fixed point 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