Goncharov, S. S. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03D99 Computability and recursion theory 03G05 Logical aspects of Boolean algebras PDFBibTeX XMLCite \textit{S. S. Goncharov}, Math. Notes 19, 500--503 (1976; Zbl 0357.02043); translation from Mat. Zametki 19, 853--858 (1976) Full Text: DOI References: [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 · doi:10.1007/BF02219840 [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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.