Conjetura de Martin, equivalencia aritmética y relaciones contables de equivalencia de Borel