Skip to main content
2 of 4
added 486 characters in body
Emil Jeřábek
  • 47.1k
  • 4
  • 147
  • 208

Any theory that can represent all recursive functions has no consistent decidable extension, however there are such theories that do not interpret even as weak an arithmetic as Robinson’s theory $R$. See these slides for a bit more details. (A paper is coming soon, hopefully.)

You don’t even need to represent all recursive functions. Fix a recursively inseparable pair of r.e. predicates $A,B\subseteq\mathbb N$. Let $L$ be the language consisting of one unary predicate $P$, and constants $\overline n$ for every $n\in\mathbb N$, and let $T$ be the (recursively axiomatizable) theory axiomatized by $P(\overline n)$ for $n\in A$, and $\neg P(\overline n)$ for $n\in B$. Then $T$ has no decidable consistent extension, and it does not interpret much of anything.

Emil Jeřábek
  • 47.1k
  • 4
  • 147
  • 208