2003 |
4 | | Lou van den Dries,
A. J. Wilkie:
The laws of integer divisibility, and solution sets of linear divisibility conditions.
J. Symb. Log. 68(2): 503-526 (2003) |
1994 |
3 | | A. J. Wilkie:
On Defining Cinfty.
J. Symb. Log. 59(1): 344 (1994) |
1988 |
2 | | Jeff B. Paris,
A. J. Wilkie,
Alan R. Woods:
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.
J. Symb. Log. 53(4): 1235-1244 (1988) |
1986 |
1 | | Peter Aczel,
Jeff B. Paris,
A. J. Wilkie,
George M. Wilmers,
C. E. M. Yates:
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984.
J. Symb. Log. 51(2): 480-502 (1986) |