Regular Extensions of Iterative Algebras and Metric Interpretations
Jan Aldert Bergstra, Jerzy Tiuryn · Fundamenta Informaticae · 1981
An algebra is said to be iterative if every nontrivial finite system of fixed-point equations has unique solution. The paper discusses possibilities of finding topological structure for a given iterative algebra so that the unique solution of every system S can be approximated by a sequence of elements generated from S.