Notre Dame Journal of Formal Logic

Boolean Algebras, Tarski Invariants, and Index Sets

Barbara F. Csima, Antonio Montalbán, and Richard A. Shore


Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this paper we analyze the complexity of the question "Does B have invariant x?" For each x ∈ In we define a complexity class Γx that could be either Σⁿ, Πⁿ, Σⁿ ∧ Πⁿ, or Πω+1 depending on x, and we prove that the set of indices for computable Boolean algebras with invariant x is complete for the class Γx. Analogs of many of these results for computably enumerable Boolean algebras were proven in earlier works by Selivanov. In a more recent work, he showed that similar methods can be used to obtain the results for computable ones. Our methods are quite different and give new results as well. As the algebras we construct to witness hardness are all dense, we establish new similar results for the complexity of various isomorphism problems for dense Boolean algebras.

Article information

Notre Dame J. Formal Logic, Volume 47, Number 1 (2006), 1-23.

First available in Project Euclid: 27 March 2006

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03D50: Recursive equivalence types of sets and structures, isols

Boolean algebras computability index sets Tarski invariants


Csima, Barbara F.; Montalbán, Antonio; Shore, Richard A. Boolean Algebras, Tarski Invariants, and Index Sets. Notre Dame J. Formal Logic 47 (2006), no. 1, 1--23. doi:10.1305/ndjfl/1143468308.

Export citation


  • [1] Ash, C. J., and J. Knight, Computable Structures and the Hyperarithmetical Hierarchy, vol. 144 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 2000.
  • [2] Calvert, W., "The isomorphism problem for computable Abelian $p$"-groups of bounded length, The Journal of Symbolic Logic, vol. 70 (2005), pp. 331--45.
  • [3] Downey, R. G., "On presentations of algebraic structures", pp. 157--205 in Complexity, Logic, and Recursion Theory, vol. 187 of Lecture Notes in Pure and Applied Mathematics, Dekker, New York, 1997.
  • [4] Ershov, Y. L., "Decidability of the elementary theory of distributive lattices with relative complements and the theory of filters", Algebra i Logika, vol. 3 (1964), pp. 17--38.
  • [5] Feiner, L. J., Orderings and Boolean algebras not isomorphic to recursive ones, Ph.D. thesis, MIT, 1967.
  • [6] Goncharov, S. S., and J. Knight, "Computable structure and non-structure theorems", Algebra and Logic, vol. 41 (2002), pp. 351--73.
  • [7] Goncharov, S. S., Countable Boolean Algebras and Decidability, Siberian School of Algebra and Logic. Consultants Bureau, New York, 1997.
  • [8] Hodges, W., Model Theory, vol. 42 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1993.
  • [9] Monk, J. D., and R. Bonnet, editors, Handbook of Boolean Algebras. Vols. 1--3, North-Holland Publishing Co., Amsterdam, 1989.
  • [10] Morozov, A. S., "Strong constructivizability of countable saturated Boolean algebras", Algebra i Logika, vol. 21 (1982), pp. 193--203.
  • [11] Odintsov, S. P., and V. L. Selivanov, "The arithmetical hierarchy and ideals of enumerated Boolean algebras", Sibirskiĭ Matematicheskiĭ Zhurnal, vol. 30 (1989), pp. 140--49.
  • [12] Selivanov, V. L., "Index sets of classes of hyperhypersimple sets", Algebra i Logika, vol. 29 (1990), pp. 220--40, 261.
  • [13] Selivanov, V. L., "The fine hierarchy and definable index sets", Algebra i Logika, vol. 30 (1991), pp. 705--25, 771.
  • [14] Selivanov, V., "Positive structures", pp. 321--50 in Computability and Models, edited by S. B. Cooper and S. S. Goncharov, The University Series in Mathematics, Kluwer/Plenum, New York, 2003.
  • [15] Shore, R. A., "Invariants, Boolean algebras and ACA"$^+$, Transactions of the American Mathematical Society, vol. 358 (2006), pp. 965--87.
  • [16] Soare, R. I., Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987.
  • [17] Tarski, A., "Arithmetical classes and types of Boolean algebras", Bulletin of the American Mathematical Society, vol. 55 (1949), p. 63.
  • [18] Waszkiewicz, J., "$\forall n$"-theories of Boolean algebras", Colloquium Mathematicum, vol. 30 (1974), pp. 171--75.
  • [19] White, W., Characterizations for Computable Structures, Ph.D. thesis, Cornell University, 2000.