Advertisement

Siberian Mathematical Journal

, Volume 16, Issue 2, pp 203–214 | Cite as

Some properties of the constructivization of Boolean algebras

  • S. S. Goncharov
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature Cited

  1. 1.
    S. S. Goncharov, “Constructivizable superatomic Boolean algebras,” Algebra i Logika,12, No. 1, 31–40 (1973).Google Scholar
  2. 2.
    L. Feiner, “Hierarchies of Boolean algebras,” J. Symbolic Logic,35, No. 3, 365–373 (1970).Google Scholar
  3. 3.
    A. I. Mal'tsev, “Strongly continuous models and recursively perfect algebras,” Dokl. Akad. Nauk SSSR,145, No. 2, 276–279 (1962).Google Scholar
  4. 4.
    A. I. Mal'tsev, “On recursive Abelian groups,” Dokl. Akad. Nauk. SSSR,146, No. 5, 1009–1012 (1962).Google Scholar
  5. 5.
    S. S. Goncharov and A. T. Nurtazin, “Constructive models of complete solvable theories,” Algebra i Logika,12, No. 2, 125–142 (1973).Google Scholar
  6. 6.
    M. G. Peretyat'kin, “Strongly constructive models and numberings of a Boolean algebra of recursive sets,” Algebra i Logika,10, No. 5, 535–557 (1971).Google Scholar
  7. 7.
    Yu. L. Ershov, “Constructive models,” in: Selected Questions of Algebra and Mathematical Logic [in Russian], Nauka (Siberian Section), Novosibirsk (1972), pp. 111–130.Google Scholar
  8. 8.
    H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).Google Scholar
  9. 9.
    R. Sikorski, Boolean Algebras, Springer, New York (1969).Google Scholar

Copyright information

© Plenum Publishing Corporation 1975

Authors and Affiliations

  • S. S. Goncharov

There are no affiliations available

Personalised recommendations