On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
From MaRDI portal
Publication:1223285
DOI10.1007/BF02121663zbMath0322.02033OpenAlexW106258060MaRDI QIDQ1223285
Publication date: 1976
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02121663
Related Items (11)
Hyperdiagonalizable algebras ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ The undecidability of the first-order theory of diagonalizable algebras ⋮ Loeb operators and interior operators ⋮ Provability: The emergence of a mathematical modality ⋮ Fixed point algebras ⋮ 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 autological character of diagonalizable algebras ⋮ Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ On the structure of varieties with equationally definable principal congruences. I
Cites Work
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
- 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.)
- 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
This page was built for publication: On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
