#
Iterative algebras: How iterative are they?

##
J. Adamek, R. Borger, S. Milius, and J. Velebil

Iterative algebras, defined by the property that every guarded system of
recursive equations has a unique solution, are proved to have a much
stronger property: every system of recursive equations has a unique strict
solution. Those systems that have a unique solution in every iterative
algebra are characterized.

Keywords:
iterative algebra, guarded equation, strict solution,
extensive category

2000 MSC:
68Q65, 18A15

*Theory and Applications of Categories,*
Vol. 19, 2007,
No. 5, pp 61-92.

http://www.tac.mta.ca/tac/volumes/19/5/19-05.dvi

http://www.tac.mta.ca/tac/volumes/19/5/19-05.ps

http://www.tac.mta.ca/tac/volumes/19/5/19-05.pdf

ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/5/19-05.dvi

ftp://ftp.tac.mta.ca/pub/tac/html/volumes/19/5/19-05.ps

TAC Home