Fixed Points in the Power Set Algebra of Infinite Trees¹²

Article type: Research Article

Authors: Tiuryn, Jerzy

Affiliations: Institute of Mathematics, Warsaw University

Note: [1] This paper was written when the author was visiting Lehrstuhl für Informatik II RWTH in Aachen.

Note: [2] This paper has been typed at Boston University, Dept. of Mathematics.

Abstract: In this paper we are studying two notions of continuity, both are weaker than the well known and broadly applied notion of ω-continuity. The paper shows that power set algebras of finite/infinite trees provide all possible instances of the above-mentioned continuities, which depend on the signature of trees and on the substitution: OI or IO.

Keywords: regular algebras, fixed-point equations, ω-continuity infinite trees

DOI: 10.3233/FI-1981-4406

Journal: Fundamenta Informaticae, vol. 4, no. 4, pp. 863-890, 1981