论文信息 - Constructivizability of superatomic Boolean algebras - 字舞流文

Constructivizability of superatomic Boolean algebras

S. S. Goncharov | S. Goncharov

[1] G. Day,et al. Superatomic Boolean algebras , 1967 .

[2] A. Tarski,et al. Boolesche Ringe mit geordneter Basis , 1939 .

[3] A. I. Mal'tsev. CONSTRUCTIVE ALGEBRAS I , 1961 .

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

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

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

[7] Frederick S. Gass. A note on π11 ordinals , 1972, Notre Dame J. Formal Log..