1989 | ||
---|---|---|
3 | Douglas A. Cenzer, Rick L. Smith: On the Ranked Points of A pi01 Set. J. Symb. Log. 54(3): 975-991 (1989) | |
1985 | ||
2 | Lou van den Dries, Rick L. Smith: Decidable Regularly Closed Fields of Algebraic Numbers. J. Symb. Log. 50(2): 468-475 (1985) | |
1981 | ||
1 | Rick L. Smith: Effective Aspects of Profinite Groups. J. Symb. Log. 46(4): 851-863 (1981) |
1 | Douglas A. Cenzer (Douglas Cenzer) | [3] |
2 | Lou van den Dries | [2] |