Criteria of autostability for 1-decidable models (Q1317625)

An autostability criterion for constructive models with a decidable \(\exists\)-diagram is presented in terms of intrinsical decidability of a suitable set of orbits of tuples of elements from a model. The criterion in question is conceptually different from the well-known autostability criterion for narrower classes of models, which is formulated in terms of the existence of a computable sequence of \(\exists\)-formulas with a fixed finite number of parameters.