论文信息 - Some properties of the constructivization of Boolean algebras - 字舞流文

Some properties of the constructivization of Boolean algebras

S. S. Goncharov | S. Goncharov

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

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

[3] Lawrence Feiner,et al. Hierarchies of Boolean algebras , 1970, Journal of Symbolic Logic.

[4] R. Goodstein. Boolean algebra , 1963 .

[5] С.С. Гончаров,et al. Конструктивные модели полных разрешимых теорий. , 1973 .

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

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