Let $A=(B,V,\exists,S)$ be a polyadic algebra. An equality predicate on $A$ is a function $E:V\times V\to B$ such that

1. 1.

$S(f)\circ E(x,y)=E(f(x),f(y))$ for any $f:V\to V$ and any $x,y\in V$

2. 2.

$E(x,x)=1$ for every $x\in V$, and

3. 3.

$E(x,y)\wedge a\leq S(x/y)a$, where $a\in B$, and $(x/y)$ denotes the function $V\to V$ that maps $x$ to $y$, and constant everywhere else.

Heuristically, we can interpret the conditions above as follows:

1. 1.

if $x=y$ and if we replace $x$ by, say $x_{1}$, and $y$ by $y_{1}$, then $x_{1}=y_{1}$.

2. 2.
3. 3.

if we have a propositional function $a$ that is true, and $x=y$, then the proposition   obtained from $a$ by replacing all occurrences of $x$ by $y$ is also true.

The second condition is also known as the reflexive property of the equality predicate $E$, and the third is known as the substitutive property of $E$

A polyadic algebra with equality is a pair $(A,E)$ where $A$ is a polyadic algebra and $E$ is an equality predicate on $A$. Paul Halmos introduced this concept and called this simply an equality algebra.

Below are some basic properties of the equality predicate $E$ in an equality algebra $(A,E)$:

Remarks

• The degree and local finiteness of a polyadic algebra $(A,E)$ are defined as the degree and the local finiteness and degree of its underlying polyadic algebra $A$.

• Like cylindric algebras, polyadic algebras with equality is an attempt at “converting” a first order logic (with equality) into algebraic form, so that the logic can be studied using algebraic means.

## References

 Title polyadic algebra with equality Canonical name PolyadicAlgebraWithEquality Date of creation 2013-03-22 17:51:37 Last modified on 2013-03-22 17:51:37 Owner CWoo (3771) Last modified by CWoo (3771) Numerical id 10 Author CWoo (3771) Entry type Definition Classification msc 03G15 Synonym equality algebra Related topic CylindricAlgebra Defines equality predicate Defines substitutive Defines reflexive   Defines symmetric Defines transitive    