I'm struggling to find a home for a certain paper of mine. The problem is that the mathematical content of it is extremely easy: a couple definitions and a theorem with a five-line proof, invoking the Recursion Theorem and the Smn Theorem. It's not really appropriate for a logic journal, because it's too easy (are there any logic journal equivalents to "Mathematics Magazine")? But every easy math journal I send it to rejects it saying that the Recursion Theorem and Smn Theorem are too obscure for mathematicians!
Due to its easiness, it might even be more appropriate as a "Problem", in a place like AMM's monthly list of problems, except it definitely requires Recursion Theorem and Smn theorem. Are there any places where such a problem would be welcome?