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

Physicists unlock secrets of stellar alchemy, yielding new insights into gold's cosmic origins
A 'seating chart' for atoms helps locate their positions in materials
Light particles prefer company: Photons exhibit collective behavior only after reaching certain threshold

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 »