Criteria of autostability for 1-decidable models (Q1317625)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Criteria of autostability for 1-decidable models |
scientific article; zbMATH DE number 536675
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Criteria of autostability for 1-decidable models |
scientific article; zbMATH DE number 536675 |
Statements
Criteria of autostability for 1-decidable models (English)
0 references
12 April 1994
0 references
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.
0 references
constructive models with decidable \(\exists\)-diagram
0 references
autostability criterion
0 references
