Recursive inseparability for residual bounds of finite algebras

Authors
McKenzie, R
Citation
R. Mckenzie, Recursive inseparability for residual bounds of finite algebras, J SYMB LOG, 65(4), 2000, pp. 1863-1880
Citations number
13
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
4
Year of publication
2000
Pages
1863 - 1880
Database
ISI
SICI code
0022-4812(200012)65:4<1863:RIFRBO>2.0.ZU;2-H
Abstract
We exhibit a construction which produces for every Turing machine T with tw o halting states mu (0) and mu (-1), an algebra B(T) (finite and of finite type) with the property that the variety generated by B(T) is residually la rge if T halts in state mu (-1). while if T halts in state mu (0) then this variety is residually bounded by a finite cardinal.