A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Extensions of iterative congruences on free iterative algebras
1983
Journal of computer and system sciences (Print)
This paper investigates special congruences on R, (the L-algebra of partial regular trees) which extend congruences on Ez (the C-algebra of total regular trees). It is proved that if a congruence on Ez induces an iterative factor algebra, then so does its extension on R,. This result is used to show that if an iterative algebra admits a faithful regular extension, then that extension is again iterative. The least fixed point approach [l-3] and the unique fixed point approach [8] to the
doi:10.1016/0022-0000(83)90039-9
fatcat:ezrlqiupkvgwjhuuapsrq2j3ce