论文信息 - Numerations of saturated and homogeneous models - 字舞流文

Numerations of saturated and homogeneous models

S. S. Goncharov | B. N. Drobotun

[1] S. S. Goncharov,et al. Constructive models of complete solvable theories , 1973 .

[2] M. G. Peretyat'kin. Strongly constructive models and numerations of the Boolean algebra of recursive sets , 1971 .

[3] S. S. Goncharov,et al. Constructivizability of superatomic Boolean algebras , 1973 .

[4] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .

[5] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[6] Victor Harnik,et al. Applications of Vaught Sentences and the Covering Theorem , 1976, J. Symb. Log..

[7] M. Morley. Categoricity in power , 1965 .