Decision problems for classes of diagonalizable algebras

Studia Logica 44 (1):87 - 89 (1985)
  Copy   BIBTEX

Abstract

We make use of a Theorem of Burris-McKenzie to prove that the only decidable variety of diagonalizable algebras is that defined by 0=1. Any variety containing an algebra in which 01 is hereditarily undecidable. Moreover, any variety of intuitionistic diagonalizable algebras is undecidable.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
31 (#531,204)

6 months
6 (#585,724)

Historical graph of downloads
How can I increase my downloads?