A Decision Method for the Unambiguity of Sets Defined by Number Systems

We show that it is decidable, given a number system N , whether or not there is an unambiguous number system equivalent to N . Category: F.4.3