加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本