And how can we check that the adress has no PK?
If i recall correctly:
Usually this is done by using the base58 encoding to create something unique such as 1BitcoinEaterAddressDontSend8MUo1T, which would be impossible to generate on a normal wallet, due to the amount of hashpower that would be needed to create an adress like this.