A. J. Wilkie

According to our database, A. J. Wilkie authored at least 10 papers between 1986 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Complex continuations of ℝ_{an, exp}-definable unary functions with a diophantine application.

A. J. Wilkie

J. Lond. Math. Soc., 2016

2013

Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars.

A. J. Wilkie

Notre Dame J. Formal Log., 2013

2005

Fusing o-minimal structures.

A. J. Wilkie

J. Symb. Log., 2005

2004

Diophantine properties of sets definable in o-minimal structures.

A. J. Wilkie

J. Symb. Log., 2004

2003

The laws of integer divisibility, and solution sets of linear divisibility conditions.

Lou van den Dries, A. J. Wilkie

J. Symb. Log., 2003

1994

On Defining C^infty.

A. J. Wilkie

J. Symb. Log., 1994

1988

Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.

Jeff B. Paris, A. J. Wilkie, Alan R. Woods

J. Symb. Log., 1988

1987

On the scheme of induction for bounded arithmetic formulas.

A. J. Wilkie, Jeff B. Paris

Ann. Pure Appl. Log., 1987

1986

Classification of Quantifier Prefixes Over Exponential Diophantine Equations.

James P. Jones, Hilbert Levitz, A. J. Wilkie

Math. Log. Q., 1986

European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984.

Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates

J. Symb. Log., 1986