Type 4 is not computable

From MaRDI portal

MaRDI QIDQ6502448arXivFDO

Authors Japheth Wood

Published in arXiv




Abstract: 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.














This page was built for publication: Type 4 is not computable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6502448)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Type_4_is_not_computable&oldid=99900707"
Powered by MediaWiki