Decision problems for classes of diagona
โ
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.