Numerations of saturated and homogeneous models
暂无分享,去创建一个
[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 .