Independent instances for some undecidable problems Cristian Calude and Gheorghe Păun RAIRO. Inform. théor., 17 1 (1983) 49-54 Published online: 01 February 2017 DOI: 10.1051/ita/1983170100491