Feferman, S. and Vaught, R. L., The first order properties of products of algebraic systems. Fundamenta Mathematicae, vol.
47 (1959), pp.
Ketonen, Jussi, On isomorphism types of countable Boolean algebras,
Ketonen, Jussi, The structure of countable Boolean algebras. Annals of Mathematics (2), vol.
108 (1978), no. 1, pp.
Presburger, Mojżesz, On the completeness of a certain system of arithmetic of whole
numbers in which addition occurs as the only operation. History and Philosophy of Logic, vol.
12 (1991), no. 2, pp.
Rosenstein, Joseph G., Linear orderings, Pure and Applied Mathematics, vol.
98, Academic Press [Harcourt Brace Jovanovich
Publishers], New York,
Simpson, Stephen G., First-order theory of the degrees of recursive
unsolvability. Annals of Mathematics (2), vol.
105 (1977), no. 1, pp.
Slaman, Theodore A., Global properties of the Turing degrees and the Turing jump, Computational Prospects of Infinity. Part I.
Tutorials, , vol.
14, World Scientific
Publishing, Hackensack, New
Jersey, 2008, pp.
Tarski, Alfred, Cardinal Algebras. With an Appendix: Cardinal Products of
Isomorphism Types, by Bjarni Jónsson and Alfred Tarski,
Oxford University Press, New