1982, "Extremely undecidable sentences," "Journal of Symbolic Logic 47": 191-196.