A program that accepts exactly any desired finite set, in the right universe
Last year I made a post about the universal program, a Turing machine program $p$ that can in principle compute any desired function, if it is only run inside a suitable model of set theory or arit…
