Displaying similar documents to “Some simple decidability proofs”