undecidable rings