Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices.

Klaus Ambos-Spies Peter A. Fejer Steffen Lempp Manuel Lerman Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. 880-905 1996 61 J. Symb. Log. 3 db/journals/jsyml/jsyml61.html#Ambos-SpiesFLL96