1 problem

Let $M$ be a countable recursively saturated model of $\mathrm{PA}$, and let $\operatorname{SSy}(M)$ denote its standard system. Transcendence characterization conjecture. There is…