Totally transcendental theory with a nonconstructivizable prime model
暂无分享,去创建一个
[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 .