A. J. Wilkie

Publication Activity (10 Years)

Years Active: 1986-2016
Publications (10 Years): 1

Top Topics

Basis Functions

Solving Complex

Frequently Encountered

Top Venues

J. Lond. Math. Soc.

Notre Dame J. Formal Log.

Publications

A. J. Wilkie
-definable unary functions with a diophantine application. J. Lond. Math. Soc. 93 (3) (2016)
A. J. Wilkie
Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars. Notre Dame J. Formal Log. 54 (3-4) (2013)
A. J. Wilkie
Fusing o-minimal structures. J. Symb. Log. 70 (1) (2005)
A. J. Wilkie
Diophantine properties of sets definable in o-minimal structures. J. Symb. Log. 69 (3) (2004)
Lou van den Dries, A. J. Wilkie
The laws of integer divisibility, and solution sets of linear divisibility conditions. J. Symb. Log. 68 (2) (2003)
A. J. Wilkie
. J. Symb. Log. 59 (1) (1994)
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) (1988)
A. J. Wilkie, Jeff B. Paris
On the scheme of induction for bounded arithmetic formulas. Ann. Pure Appl. Log. 35 (1987)
James P. Jones, Hilbert Levitz, A. J. Wilkie
Classification of Quantifier Prefixes Over Exponential Diophantine Equations. Math. Log. Q. 32 (25-30) (1986)
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) (1986)