Criteria of autostability for 1-decidable models

DOI10.1007/BF02259824zbMath0795.03048OpenAlexW2091838783MaRDI QIDQ1317625

Oleg V. Kudinov

Publication date: 12 April 1994

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02259824

zbMATH Keywords

autostability criterionconstructive models with decidable \(\exists\)-diagram

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57)

Related Items (1)

\(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings

Cites Work

• Unnamed Item
• Stability of recursive structures in arithmetical degrees
• Autostability of models and Abelian groups
• Autostability of models

This page was built for publication: Criteria of autostability for 1-decidable models