Characterizing relative decidability in terms of model completeness

Matthew Harrison-Trainor, Liam Tan

A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify…