zbMATH — the first resource for mathematics

Non-self-equivalent constructivization of atomic Boolean algebras. (English. Russian original) Zbl 0357.02043
Math. Notes 19, 500-503 (1976); translation from Mat. Zametki 19, 853-858 (1976).
03D99 Computability and recursion theory
03G05 Logical aspects of Boolean algebras
Full Text: DOI
[1] A. I. Mal’tsev, ?On recursive Abelian groups,? Dokl. Akad. Nauk SSSR,146, No. 5, 1009?1012 (1962).
[2] S. S. Goncharov, ?Certain properties of constructivizations of Boolean algebras,? Sibirsk. Matem. Zh.,16, No. 2, 264?278 (1975).
[3] S. S. Goncharov, ?Constructive Boolean algebras,? Third All-Union Conf. Math. Logic [in Russian], Nauka, Novosibirsk (1974), pp. 48?49.
[4] M. G. Peretyat’kin, ?Strongly constructive models and the enumerations of a Boolean algebra of recursive sets,? Algebra i Logika,10, No. 5, 535?557 (1971). · Zbl 0311.02051
[5] H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967). · Zbl 0183.01401
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.