Works by A. J. Wilkie ( view other items matching `A. J. Wilkie`, view all matches )

8 found
Sort by:
  1. L. van Den Dries & A. J. Wilkie, Of Linear Divisibility Conditions.
    We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.
    No categories
     
    My bibliography  
     
    Export citation  
  2. A. J. Wilkie (2005). Fusing O-Minimal Structures. Journal of Symbolic Logic 70 (1):271 - 281.
    In this note I construct a proper o-minimal expansion of the ordered additive group of rationals.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. A. J. Wilkie (2004). Diophantine Properties of Sets Definable in o-Minimal Structures. Journal of Symbolic Logic 69 (3):851-861.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. L.den Dries & A. J. Wilkie (2003). The Laws of Integer Divisibility, and Solution Sets of Linear Divisibility Conditions. Journal of Symbolic Logic 68 (2):503 - 526.
    We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. L. van den Dries & A. J. Wilkie (2003). The Laws of Integer Divisibility, and Solution Sets of Linear Divisibility Conditions. Journal of Symbolic Logic 68 (2):503-526.
    We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. A. J. Wilkie (1994). On Defining C∞. Journal of Symbolic Logic 59 (1):344 -.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. J. B. Paris, A. J. Wilkie & A. R. Woods (1988). Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes. Journal of Symbolic Logic 53 (4):1235-1244.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates (1986). European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. Journal of Symbolic Logic 51 (2):480-502.