The Relation of Equivalence for Post Functions
Ed DuCasse, Gernot Metze · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 1972
An equivalence relation for one-variable functions defined on the Post chain P(n) has been introduced by Wojcik and by Wojcik and Metze. The authors present here several results characterizing the equivalence classes of this relation, giving some insight into its nature and structure. (Author)