Decision problems for classes of diagonalizable algebras

✍ Scribed by Aldo Ursini

• Publisher: Springer Netherlands
• Year: 1985
• Tongue: English
• Weight: 142 KB
• Volume: 44
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370812

✦ Synopsis

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.