Skip to main content
Log in

Complexity of Boolean algebras and their Scott rank

  • Published:
Algebra and Logic Aims and scope

Abstract

We deal with problems associated with Scott ranks of Boolean algebras. The Scott rank can be treated as some measure of complexity of an algebraic system. Our aim is to propound and justify the procedure which, given any countable Boolean algebra, will allow us to construct a Boolean algebra of a small Scott rank that has the same natural algebraic complexity as has the initial algebra. In particular, we show that the Scott rank does not always serve as a good measure of complexity for the class of Boolean algebras. We also study into the question as to whether or not a Boolean algebra of a big Scott rank can be decomposed into direct summands with intermediate ranks. Examples are furnished in which Boolean algebras have an arbitrarily big Scott rank such that direct summands in them either have a same rank or a fixed small one, and summands of intermediate ranks are altogether missing. This series of examples indicates, in particular, that there may be no nontrivial mutual evaluations for the Scott and Frechet ranks on a class of countable Boolean algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. S. S. Goncharov,Countable Boolean Algebras and Decidability [in Russian], Nauch. Kniga, Novosibirsk (1996).

    MATH  Google Scholar 

  2. P. E. Alaev, “Scott ranks of Boolean algebras,”Sib. Adv. Math.,8, No. 3, 1–35 (1998).

    Google Scholar 

  3. J. Barwise,Admissible Sets and Structures, Springer, Berlin (1975).

    MATH  Google Scholar 

  4. A. S. Morozov, “Countable homogeneous Boolean algebras,”Algebra Logika,21, No. 3, 269–282 (1982).

    Google Scholar 

  5. C. C. Chang and H. J. Keisler,Model Theory, North-Holland, Amsterdam (1973).

    MATH  Google Scholar 

Download references

Authors

Additional information

Supported by RFFR grant No. 99-01-00485, by a grant for Young Scientists from SO RAN, 1997, and by the Federal Research Program (FRP) “Integration”.

Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 643–666, November–December, 1999.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alaev, P.E. Complexity of Boolean algebras and their Scott rank. Algebr Logic 38, 353–366 (1999). https://doi.org/10.1007/BF02671732

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02671732

Keywords

Navigation