On some arithmetically expressible properties of programs M. E. Szabo — 1988 Banach Center Publications