One Question of the Theory of Numbered Groups
摘要
We show that the kernel of every numbered group is a permutation computable equivalence.We also prove the existence of a permutation computable equivalence over which no group is definable.