Constructive models of N1-categorical theories
- 28 Downloads
An example of an N1-categorical, but not N0-categorical, theory, for which only a prime model is constructible, is constructed.
KeywordsPrime 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.
- 1.Yu. L. Ershov, Theory of Enumeration [in Russian], Vol. 3, Novosibirsk State Univ., Novosibirsk (1974).Google Scholar
- 2.H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).Google Scholar
- 3.J. T. Baldwin and A. H. Lachlan, “On strongly minimal sets,” J. Symbolic Logic, 36, 79–96 (1971).Google Scholar
- 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.L. Harrington, “Structures with recursive presentation,” Notices Am. Math. Soc.,18, No. 5, 826 (1971).Google Scholar
- 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
© Plenum Publishing Corporation 1978