Characterizing relative decidability in terms of model completeness
Logic
2026-04-21 v1
Abstract
A theory is said to be relatively decidable if for every model of , one can compute the elementary diagram of that model from its atomic diagram together with . We verify a conjecture of Chubb, Miller, and Solomon by showing that for complete theories , is relatively decidable if and only if has a conservative model complete extension of the form where . We also show that no such characterization works for incomplete theories.
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}
}