A Generalized Equivalence Relation for Algebras of Post Functions,
Abstract
An equivalence relation introduced by Wojcik and by wojcik and Metze for algebras of Post functions of a single variable defined on a Post chain P(n) is generalized to arbitrary finite Post algebras, and thus to all lattices G P(n):x(1),...,x(k). The lattice G P(n):x(1),...,x(k) is the Post algebra of all k-variable functions defined on the Post chain P(n). Several theorems are also presented, characterizing the equivalence classes of this relation and generalizing results of DuCasse and Metze. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1972
- Accession Number
- AD0744628
Entities
People
- Ed Ducasse
- Gernot Metze
Organizations
- University of Illinois Urbana–Champaign