Regular extensions of iterative algebras and metric interpretations
Publication date
1981
Authors
Bergstra, J.A.
Tiuryn, J.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
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
Keywords
abstract algebra, topology, iteration