arXiv Open Access 1996

Type 4 is not computable

Japheth Wood
Lihat Sumber

Abstrak

We extend a recent result of McKenzie, and show that it is an undecidable problem to determine if 4 appears in the typeset of a finitely generated, locally finite variety.

Topik & Kata Kunci

Penulis (1)

J

Japheth Wood

Format Sitasi

Wood, J. (1996). Type 4 is not computable. https://arxiv.org/abs/math/9611224

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
1996
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓