1. Ambos-Spies, K.,Fejer, P.,Lempp, S. andLerman, M.,The two-quantifier theory of the r.e. wtt-degrees is decidable. To appear.
2. Ambos-Spies, K. andShore, R.,Undecidability and 1-types in the r.e. degrees. Ann. Pure Appl. Logic24 (1993), 3?37.
3. Buechi, J. R.,On a decision method in restricted second-order arithmetic. Proc. Int. Congress Logic, Meth. and Phil. of Science 1960, Stanford Univ. Press, 1?11.
4. Burris, S. andMcKenzie, R.,Decidability and Boolean representation. Memoirs Amer. Math. Soc.32, no. 246 (1981).
5. Burris, S. andSankappanavar, H. P.,Lattice theoretic decision problems in Universal Algebra. Alg. Univ.5 (1975), 163?177.