𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the equational class of diagonalizable algebras

✍ Scribed by Glaudio Bernardi

Publisher
Springer Netherlands
Year
1975
Tongue
English
Weight
570 KB
Volume
34
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decision problems for classes of diagona
Decision problems for classes of diagonalizable algebras
✍ Aldo Ursini πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 142 KB

We make use of a Theorem of Burrls-McKenzie to prove that the only decidable variety of diagonalizabie algebras is that defined by 'v0 = 1'. Any variety containing an algebra in which T0 r 1 is hereditarily undecidable. Moreover, any variety of intuitionistic diagonalizable algebras is undecidable.