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.)
From MaRDI portal
Publication:1223284
DOI10.1007/BF02121662zbMath0322.02032MaRDI QIDQ1223284
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
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, Fixed point algebras
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item