Criteria of autostability for 1-decidable models
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.
constructive models with decidable \(\exists\)-diagram
scientific article; zbMATH DE number 536675