×

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).

MSC:

03D99 Computability and recursion theory
03G05 Logical aspects of Boolean algebras
PDFBibTeX XMLCite
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.