Results for 'A. J. Wilkie'

(not author) ( search as author name )
1000+ found
Order:
  1.  36
    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  
  2.  57
    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.
  3.  28
    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.
  4.  12
    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  
  5.  25
    Diophantine properties of sets definable in o-minimal structures.A. J. Wilkie - 2004 - Journal of Symbolic Logic 69 (3):851-861.
  6.  24
    On defining c∞.A. J. Wilkie - 1994 - Journal of Symbolic Logic 59 (1):344 -.
  7.  5
    On Defining $C^infty$.A. J. Wilkie - 1994 - Journal of Symbolic Logic 59 (1):344-344.
  8.  47
    J. B. Paris. A hierarchy of cuts in models of arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 312–337. - George Mills. A tree analysis of unprovable combinatorial statements. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, pp. 248–311. - Jussi Ketonen and Robert Solovay. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 , pp. 267–314. [REVIEW]A. J. Wilkie - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
  9.  38
    Review: J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, A Hierarchy of Cuts in Models of Arithmetic; George Mills, A Tree Analysis of Unprovable Combinatorial Statements; Jussi Ketonen, Robert Solovay, Rapidly Growing Ramsey Functions. [REVIEW]A. J. Wilkie - 1986 - Journal of Symbolic Logic 51 (4):1062-1066.
  10. 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  
  11.  11
    Review: Samuel R. Buss, Bounded Arithmetic. [REVIEW]A. J. Wilkie - 1991 - Journal of Symbolic Logic 56 (2):759-760.
  12.  17
    Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp. [REVIEW]A. J. Wilkie - 1991 - Journal of Symbolic Logic 56 (2):759-760.
  13.  17
    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.
  14.  58
    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.
  15.  12
    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.
  16.  11
    Ramsey Quantifiers in Arithmetic.Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, James H. Schmerl & Stephen G. Simpson - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  28
    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  
  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.  29
    The laws of integer divisibility, and solution sets of linear divisibility conditions.L. van 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 (8 more)  
     
    Export citation  
     
    Bookmark  
  20.  61
    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  
  21. 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).
  22.  18
    A Short History of Biology. By Isaac Asimov. London and Edinburgh: Nelson, 1965. Pp. 180. 21s. net.J. S. Wilkie - 1965 - British Journal for the History of Science 2 (4):364-364.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  20
    Preformation and Epigenesis: A new historical treatment.J. S. Wilkie - 1967 - History of Science 6 (1):138.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  21
    Essay Review: Preformation and Epigenesis: A New Historical Treatment: Les sciences de la vie dans la pensée française du XVIIIe siècleLes sciences de la vie dans la pensée française du XVIIIe siècle La generation des animaux de Descartes à l'Encyclopédie. RogerJacques . Pp. 842. 52fr.J. S. Wilkie - 1967 - History of Science 6 (1):138-150.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  4
    Medicine Galenism: Rise and Decline of a Medical Philosophy. By Owsei Temkin. Ithaca and London: Cornell University Press, 1973. Pp. xvii + 240. No price stated. [REVIEW]J. S. Wilkie - 1975 - British Journal for the History of Science 8 (1):73-73.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  44
    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  
  27. Freedom and necessity.A. J. Ayer - 2000 - In Steven M. Cahn (ed.), Exploring Philosophy: An Introductory Anthology. New York, NY, United States of America: Oxford University Press USA. pp. 271-284.
  28.  28
    Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 , pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 , pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  29.  20
    Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  30.  5
    Leids-Haags allegorieënlexicon.A. J. J. In 'T. Groen (ed.) - 2016 - Delft: Eburon.
    Het Leids-Haags Allegorieënlexicon toont nieuwe perspectieven op de maatschappelijke werkelijkheid met een actuele duiding van vijftig kernthema’s uit de wetenschap. De auteurs zijn de duale promovendi en hun promotores van Leiden University Dual PhD Centre The Hague. Ze worden daarbij geïnspireerd door de metafoor van de grot van Plato: Waar ben ik? Waar sta ik? Welk beeld zie ik? Hoe kan ik dat begrijpen? Er ontstaan beeldende voorstellingen van begrippen waarin op zoek wordt gegaan naar de centrale gedachten die ten (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. On Respiration and the Arteries.David J. Furley & J. S. Wilkie - 1985 - Journal of the History of Biology 18 (2):291-292.
  32.  6
    The ethics of war: Second edition.A. J. Coates - 2016 - Manchester University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  26
    An Arabic Translation Solves Some Problems in Galen.D. J. Furley & J. S. Wilkie - 1972 - The Classical Review 22 (02):164-167.
  34. Man as a subject for science.A. J. Ayer - 1967 - In Peter Laslett (ed.), Philosophy, politics and society, third series: a collection. Oxford,: Blackwell.
  35. Le désaccord.A. J. Maydieu - 1952 - Paris,: Presses universitaires de France.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  5
    História da filosofia medieval.A. J. De Gouvêa Neves - 1967 - Porto,:
    V. 1. Desde as origens partisticas até ao periodo do apogeu da escolástica.--v. 2. Desde o perfodo do apodeu da escolástica até ao fim da Idade Média, com um estudo sobre o pensamento filosófico português nos séculos XIII-XV.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    Histoire de la philosophie africaine contemporaine: courants et problèmes.A. J. Smet - 1980 - Kinshasa: Dép. de philosophie et religions africaines, Faculté de théologie catholique.
  38. Fenomenologie en ideologiekritiek.A. J. Nijk - 1981 - In Theodorus de Boer (ed.), Fenomenologie en kritiek. Assen: Van Gorcum.
     
    Export citation  
     
    Bookmark  
  39.  6
    Van waterstof tot wederkomst: een intuïtief-empiristische benadering van de Godsvraag.A. J. Schoneveld - 1976 - 's-Gravenhage: Boekencentrum.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  3
    Notes d'histoire de la pensée africaine: texte revu.A. J. Smet - 1975 - Kinshasa: Département de philosophie et religions africaines, Faculté de théologie catholique.
  41.  15
    Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
  42. What is knowledge?A. J. Ayer - 2000 - In Steven M. Cahn (ed.), Exploring Philosophy: An Introductory Anthology. New York, NY, United States of America: Oxford University Press USA.
     
    Export citation  
     
    Bookmark  
  43.  5
    Doodgaan is nog geen sterven.A. J. H. Thiadens - 1972 - [Baarn,: Het Wereldvenster. Edited by L. A. R. Bakker.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  31
    16. Russell and Moore: The Analytical Heritage.A. J. Ayer - 2014 - In Bernard Williams (ed.), Essays and Reviews: 1959-2002. Princeton: Princeton University Press. pp. 75-77.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  4
    La justice distributive.A. J. Faidherbe - 1934 - Paris: Librairie du Recueil Sirey (société anonyme). Edited by Thomas.
  46. La pensée de Ghazzālī.A. J. Wensinck - 1940 - Paris,: Adrien-Maisonneuve.
  47.  7
    Miseducation: a history of ignorance-making in America and abroad.A. J. Angulo (ed.) - 2016 - Baltimore: Johns Hopkins University Press.
    By investigating how laws, myths, national aspirations, and global relations have recast and, at times, distorted the key purposes of education, this pathbreaking book sheds light on the role of ignorance in shaping ideas, public opinion, and policy.--Robert N. Proctor, author of Golden Holocaust: Origins of the Cigarette Catastrophe and the Case for Abolition "Historical Studies in Education/Revue d'histoire de l'éducation".
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Rabelais and the Franciscans.A. J. Krailsheimer - 1963 - Oxford,: Clarendon Press.
  49. Das Problem der Bedeutung in der Sprachwissenschaft.A. J. B. N. Reichling - 1963 - Innsbruck,: Auslieferung durch das Sprachwissenschaftliche Institut der Leopold-Franzens-Universität.
     
    Export citation  
     
    Bookmark  
  50. Enkele gedagtes oor die aard en die belangrikheid van die wiskunde vir die wetenskap.A. J. B. Wiid - 1961 - [Turfloop: Universiteitskollege van die Noorde.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000