论文信息 - Totally transcendental theory with a nonconstructivizable prime model - 字舞流文

Totally transcendental theory with a nonconstructivizable prime model

S. S. Goncharov

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

[2] S. S. Goncharov,et al. Some properties of the constructivization of Boolean algebras , 1975 .

[3] R. Vaught,et al. Denumerable Models of Complete Theories , 1970 .

[4] Leo F. Boron,et al. Algorithms and recursive functions , 1970 .

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