 | 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) |
