Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices
| Autor: | Ambos-Spies, Klaus, Fejer, Peter A., Lempp, Steffen, Lerman, Manuel |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 1996 Sep 01. 61(3), 880-905. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|