The representations of polyadic-like equality algebras

Details The representations of polyadic-like equality algebras The representations of polyadic-like equality algebras

2011-04-07

arxiv.org/abs/1104.1286v1

Mathematics

Logic

5 pages

Scientific paper

It is stated that Boolean set algebras with unit V, where V is a union of Cartesian products, are axiomatizable. The axiomatization coincides with that of cylindric polyadic equality algebras (class CPE). This is an algebraic representation theorem for the class CPE by relativized polyadic set algebras in the class Gp. Similar representation theorems are claimed for the classes strong cylindric polyadic equality algebras (CPES) and cylindric m-quasi polyadic equality algebras (mCPE). These are polyadic-like equality algebras with infinite substitution operators and single cylindrifications. They can be regarded also as infinite transformation systems equipped with diagonals and cylindrifications. No representation theorem or neat embedding theorem has proven for this class of algebras yet, except for the locally finite case. The theorems occuring in the paper answer some unsolved problems.

Affiliated with

Also associated with

No associations

Rating

The representations of polyadic-like equality algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The representations of polyadic-like equality algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The representations of polyadic-like equality algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-717878