Skip to main content
2 of 4
deleted 217 characters in body
Noah Schweber
  • 20.5k
  • 10
  • 110
  • 331

I claim that, as long as $T$ contains the ordered semiring axioms and $T\subseteq Th(\mathbb{N})$ (that is, $T$ contains only true sentences), then $D_T=D_{Th(\mathbb{N})}$.

To see this, just note that for any polynomial $p$, if $p$ has a root then certainly $T$ proves $p$ has a root; and in the other direction, since $T$ only contains true sentences, if $T$ proves $p$ has a root then $p$ has a root.

So we are done.

Note how little we had to assume about $T$.

Noah Schweber
  • 20.5k
  • 10
  • 110
  • 331