Criteria of autostability for 1-decidable models
type: Item
instance of: scholarly article
title: Criteria of autostability for 1-decidable models
zbMATH Open document ID: 0795.03048
DOI: 10.1007/BF02259824
published in: Algebra and Logic
publication date: 1994-04-12T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 536675
zbMATH Keywords: constructive models with decidable \(\exists\)-diagram
zbMATH Keywords: autostability criterion
author: Oleg Kudinov
MaRDI profile type: Publication
cites work: Autostability of models
cites work: Autostability of models and Abelian groups
cites work: Q4260448
cites work: Stability of recursive structures in arithmetical degrees
full work available at URL: https://doi.org/10.1007/bf02259824
OpenAlex ID: W2091838783
description: scientific article; zbMATH DE number 536675