English

Characterizing relative decidability in terms of model completeness

Logic 2026-04-21 v1

Abstract

A theory TT is said to be relatively decidable if for every model of TT, one can compute the elementary diagram of that model from its atomic diagram together with TT. We verify a conjecture of Chubb, Miller, and Solomon by showing that for complete theories TT, TT is relatively decidable if and only if TT has a conservative model complete extension of the form T{φ(cˉ)}T \cup \{\varphi(\bar{c})\} where Txˉ  φ(xˉ)T \models \exists \bar{x} \; \varphi(\bar{x}). We also show that no such characterization works for incomplete theories.

Keywords

Cite

@article{arxiv.2604.17039,
  title  = {Characterizing relative decidability in terms of model completeness},
  author = {Matthew Harrison-Trainor and Liam Tan},
  journal= {arXiv preprint arXiv:2604.17039},
  year   = {2026}
}
R2 v1 2026-07-01T12:16:07.073Z