Algebra and Logic

, Volume 35, Issue 6, pp 384–391 | Cite as

Some properties of autostable models

  • O. V. Kudinov
Article

Abstract

Established are (1) a nonuniform criterion for the stability of models in terms of enumeration reducibility of constructivizations; (2) a criterion for the autostability of certain particular classes of models close to algebraic number fields; (3) a uniform autostability of each 1-constructive model that is autostable.

Keywords

Mathematical Logic Number Field Algebraic Number Enumeration Reducibility Algebraic Number Field 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    O. V. Kudinov, “On the criteria of autostability for some classes of models,”Abstr. 3d Logical Biennial, Sofia (1990).Google Scholar
  2. 2.
    Yu. L. Ershov,Problems of Decidability and Constructive Models, [in Russian], Nauka, Moscow (1980).Google Scholar
  3. 3.
    Yu. L. Ershov,Theory of Numerations [in Russian], Nauka, Moscow (1977).Google Scholar
  4. 4.
    H. Rogers,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).Google Scholar
  5. 5.
    C. J. Ash, “Categoricity in hyperarithmetical degrees,”Ann. Pure Appl. Log.,34, No. 1, 1–34 (1987).MATHMathSciNetGoogle Scholar
  6. 6.
    O. V. Kudinov, “Criteria of autostability for 1-decidable models,”Algebra Logika,31, No. 5, 479–492 (1992).MATHMathSciNetGoogle Scholar
  7. 7.
    S. S. Goncharov and V. D. Dzgoev, “Autostability of models,”Algebra Logika,19, No. 1, 45–58 (1980).MathSciNetGoogle Scholar
  8. 8.
    S. S. Goncharov, “Autostability of models and Abelian groups,”Algebra Logika,19, No. 1, 23–44 (1980).MATHMathSciNetGoogle Scholar
  9. 9.
    G. Metakides and A. Nerode, “Effective content at field theory,”Ann. Math. Log.,17, No. 3, 289–320 (1979).MathSciNetGoogle Scholar
  10. 10.
    Yu. G. Ventsov, “Nonuniform autostability of models,”Algebra Logika,26, No. 6, 684–714 (1987).MATHMathSciNetGoogle Scholar
  11. 11.
    S. S. Goncharov, “Autostability and computable families of constructivizations,”Algebra Logika,14, No. 6, 647–680 (1975).MATHGoogle Scholar

Copyright information

© Plenum Publishing Corporation 1996

Authors and Affiliations

  • O. V. Kudinov

There are no affiliations available

Personalised recommendations