Constructive models of N1-categorical theories

  • S. S. Goncharov


An example of an N1-categorical, but not N0-categorical, theory, for which only a prime model is constructible, is constructed.


Prime Model Constructive Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Literature cited

  1. 1.
    Yu. L. Ershov, Theory of Enumeration [in Russian], Vol. 3, Novosibirsk State Univ., Novosibirsk (1974).Google Scholar
  2. 2.
    H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).Google Scholar
  3. 3.
    J. T. Baldwin and A. H. Lachlan, “On strongly minimal sets,” J. Symbolic Logic, 36, 79–96 (1971).Google Scholar
  4. 4.
    N. G. Khisamiev, “On strongly constructive models of a decidable theory,” Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat.,1, 83–84 (1974).Google Scholar
  5. 5.
    L. Harrington, “Structures with recursive presentation,” Notices Am. Math. Soc.,18, No. 5, 826 (1971).Google Scholar
  6. 6.
    S. S. Goncharov, “Computable classes of constructive models,” All-Union Algebraic Symposium, Gomel, 1975. Abstracts of Reports [in Russian], Vol. 2, Inst. Mat. Akad. Nauk BSSR, Gomel (1975).Google Scholar

Copyright information

© Plenum Publishing Corporation 1978

Authors and Affiliations

  • S. S. Goncharov
    • 1
  1. 1.Mathematics InstituteSiberian Branch of the Academy of Sciences of the USSRUSSR

Personalised recommendations