Order:
Disambiguations
A. J. Wilkie [21]Alex Wilkie [4]A. Wilkie [3]Alex J. Wilkie [2]
Alec J. Wilkie [1]A. C. Wilkie [1]Ann C. Wilkie [1]Andrew Wilkie [1]

Not all matches are shown. Search with initial or firstname to single out others.

  1.  66
    On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
  2.  45
    Provability of the pigeonhole principle and the existence of infinitely many primes.J. B. Paris, A. J. Wilkie & A. R. Woods - 1988 - Journal of Symbolic Logic 53 (4):1235-1244.
  3. On the decidability of the real exponential field.Angus Macintyre & Alex J. Wilkie - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 441--467.
     
    Export citation  
     
    Bookmark   15 citations  
  4.  26
    (2 other versions)A Hierarchy of Cuts in Models of Arithmetic.J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, George Mills & Jussi Ketonen - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
  5.  21
    Expectation and Mobilisation: Enacting Future Users.Mike Michael & Alex Wilkie - 2009 - Science, Technology, and Human Values 34 (4):502-522.
    This article considers how the figure of the ``user'' is deployed to imagine the assembling of location-based mobile phone technologies in the context of UK policy. Drawing on the sociology of expectations, we address the performativity of the ``user'' in the think tank Demos' publication Mobilisation. In the process, we analyze how discourses about users enact particular futures that feature arrangements of, for example, persons, mobile phone technologies, and political institutions. We present two narrative strategies operating in Mobilisation: first, the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  15
    Adaptive Management of Nonnative Species: Moving Beyond the “Either-Or” Through Experimental Pluralism.Jason M. Evans, Ann C. Wilkie & Jeffrey Burkhardt - 2008 - Journal of Agricultural and Environmental Ethics 21 (6):521-539.
    This paper develops the outlines of a pragmatic, adaptive management-based approach toward the control of invasive nonnative species (INS) through a case study of Kings Bay/crystal River, a large artesian springs ecosystem that is one of Florida’s most important habitats for endangered West Indian manatees (Trichechus manatus). Building upon recent critiques of invasion biology, principles of adaptive management, and our own interview and participant–observer research, we argue that this case study represents an example in which rigid application of invasion biology’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  14
    Genetic Prediction: What are the Limits?Andrew O. M. Wilkie - 2001 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 32 (4):619-633.
    The spectre of determinism stalks many of the concerns surrounding the impact of genetic research into both disease and normal behaviour. The ability accurately to predict a person's actions would certainly have profound implications for notions of individuality and free will. But to what extent will the current explosion in genetic research provide more accurate predictors than have been available for millennia in the form of wealth, social status and perceived family resemblance? The genetic research program is at too early (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. On models of arithmetic—Answers to two problems raised by H. Gaifman.Alex Wilkie - 1975 - Journal of Symbolic Logic 40 (1):41-47.
  9. The laws of integer divisibility, and solution sets of linear divisibility conditions.L.den Dries & A. J. Wilkie - 2003 - 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)  
     
    Export citation  
     
    Bookmark  
  10.  55
    European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984.P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates - 1986 - Journal of Symbolic Logic 51 (2):480-502.
  11.  40
    Fusing O-Minimal Structures.A. J. Wilkie - 2005 - 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 (6 more)  
     
    Export citation  
     
    Bookmark  
  12.  36
    Preface.Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1.
  13.  34
    Classification of Quantifier Prefixes Over Exponential Diophantine Equations.J. P. Jones, H. Levitz & A. J. Wilkie - 1986 - Mathematical Logic Quarterly 32 (25-30):399-406.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. La Sorbonne, Paris, France, July 23–31, 2000.C. Parsons Kanamori, A. Razborov, H. Schwichtenberg, J. Steel, S. Todorcevic, A. Wilkie, R. Cori, M. Dickmann, J. Dubucs & J. B. Joinet - 2001 - Bulletin of Symbolic Logic 7 (1).
  15.  7
    Logic Colloquium '84: Proceedings of the Colloquium Held in Manchester, U.K., July 1984.J. B. Paris, Alec J. Wilkie & G. M. Wilmers (eds.) - 1986 - Amsterdam, Netherlands: North Holland.
    This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  15
    1997 european summer meeting of the association for symbolic logic.M. Rathjen, R. Shore, J. Steel & A. Wilkie - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
  17.  52
    Ethics of Spying: A Reader for the Intelligence Professional, vol. I.Joel H. Rosenthal, J. E. Drexel Godfrey, R. V. Jones, Arthur S. Hulnick, David W. Mattausch, Kent Pekel, Tony Pfaff, John P. Langan, John B. Chomeau, Anne C. Rudolph, Fritz Allhoff, Michael Skerker, Robert M. Gates, Andrew Wilkie, James Ernest Roscoe & Lincoln P. Bloomfield Jr (eds.) - 2006 - Lanham, MD: Scarecrow Press.
    This is the first book to offer the best essays, articles, and speeches on ethics and intelligence that demonstrate the complex moral dilemmas in intelligence collection, analysis, and operations. Some are recently declassified and never before published, and all are written by authors whose backgrounds are as varied as their insights, including Robert M. Gates, former Director of the Central Intelligence Agency; John P. Langan, the Joseph Cardinal Bernardin Professor of Catholic Social Thought at the Kennedy Institute of Ethics, Georgetown (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Of Linear Divisibility Conditions.L. van Den Dries & A. J. Wilkie - unknown
    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.
     
    Export citation  
     
    Bookmark  
  19.  39
    Diophantine properties of sets definable in o-minimal structures.A. J. Wilkie - 2004 - Journal of Symbolic Logic 69 (3):851-861.
  20.  35
    On defining c∞.A. J. Wilkie - 1994 - Journal of Symbolic Logic 59 (1):344 -.
  21.  7
    On Defining $C^infty$.A. J. Wilkie - 1994 - Journal of Symbolic Logic 59 (1):344-344.
  22.  25
    Some Results and Problems on Complex Germs with Definable Mittag–Leffler Stars.A. J. Wilkie - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):603-610.
    Working in an o-minimal expansion of the real field, we investigate when a germ of a complex analytic function has a definable analytic continuation to its Mittag–Leffler star. As an application we show that any algebro-logarithmic function that is complex analytic in a neighborhood of the origin in $\mathbb {C}$ has an analytic continuation to all but finitely many points in $\mathbb {C}$.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  23.  68
    Beneath the straw: In defense of participatory adaptive management. [REVIEW]J. M. Evans, A. C. Wilkie & J. Burkhardt - 2009 - Journal of Agricultural and Environmental Ethics 22 (2):169-180.
    Our recent paper advocating adaptive management of invasive nonnative species (INS) in Kings Bay, Florida received detailed responses from both Daniel Simberloff, a prominent invasion biologist, and Mark Sagoff, a prominent critic of invasion biology. Simberloff offers several significant lines of criticism that compel detailed rebuttals, and, as such, most of this reply is dedicated to this purpose. Ultimately, we find it quite significant that Simberloff, despite his other stated objections to our paper, apparently agrees with our argument that proposals (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  19
    (1 other version)Review: Samuel R. Buss, Bounded Arithmetic. [REVIEW]A. J. Wilkie - 1991 - Journal of Symbolic Logic 56 (2):759-760.