MHB Equivalence Relation: Partition of {a,b,c} - Andy

Thread starter andydoinmath
Start date Aug 21, 2013
Tags

Equivalence Equivalence relations Relations

Aug 21, 2013

andydoinmath

If {{a,b},{c}} is the partition of {a,b,c}. When finding the equivalence relation used to generate a partition, is it enough to say {a,b}x{a,b} U {c}x{c}?

Thanks
Andy

Physics news on Phys.org

Optical system achieves terabit-per-second capacity and integrates quantum cryptography for long-term security
Tiny droplets that bounce for minutes without bursting might be able to do so indefinitely
Diamond probe measures ultrafast electric fields with femtosecond precision

Aug 21, 2013

Evgeny.Makarov

Gold Member

MHB

Yes.

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

View full post »