1 problem

0 votes0 replies1 view
Characterization of prime models by definability of uniform truth
Prime-model conjecture. These are precisely the prime models of $\operatorname{PA}$ ; that is, the stated definability property holds exactly when $\mathcal{M}$ is a prime model of…
Conjectureopenmodel-theory peano-arithmetic truth-definabilityarXiv posted 3 days ago

Characterization of prime models by definability of uniform truth