Nepejvoda, N. N. On embedding Boolean algebras in the Lindenbaum-Tarski algebra. (English. Russian original) Zbl 0232.02027 Sov. Math., Dokl. 12, 1017-1020 (1971); translation from Dokl. Akad. Nauk SSSR 199, 23-25 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03F65 Other constructive mathematics 06E99 Boolean algebras (Boolean rings) PDFBibTeX XMLCite \textit{N. N. Nepejvoda}, Sov. Math., Dokl. 12, 1017--1020 (1971; Zbl 0232.02027); translation from Dokl. Akad. Nauk SSSR 199, 23--25 (1971)