Results for 'L. Pacholski'

(not author) ( search as author name )
981 found
Order:
  1.  15
    2000 european summer meeting of the association for symbolic logic logic colloquium 2000.Mosconi M.-H. Mourgues C. Muhlrad, L. Pacholski Grief & J. -P. Ressayre B. Velickovic - 2001 - Bulletin of Symbolic Logic 7 (4):82.
  2.  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  
  3.  19
    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.
  4. The 1996-97 ASL Winter Meeting will be held in conjunction with the Annual Meeting of the American Mathematical Society during January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting will be held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the local organizing com-mittee is Sy Friedman. [REVIEW]A. Louveau, Y. Moschovakis, L. Pacholski, H. Schwichtenberg, T. Slaman, J. Truss, H. D. Macpherson, A. Slomson & S. Wainer - 1996 - Bulletin of Symbolic Logic 2:121.
  5.  9
    1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
  6.  22
    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.
  7.  29
    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.
  8.  59
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. 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. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  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.  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.
  11.  19
    B. I. Zil′ber. Totally categorical theories: structural properties and the non-finite axiomatizability. 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. 381–410. - B. I. Zil′ber. Strongly minimal countably categorical theories. Siberian mathematical journal, vol. 21 no. 2 , pp. 219–230. , pp. 98-112.) - B. I. Zil′ber. Strongly minimal countably categorical theories. II. Ibid., vol. 25 no. 3 , pp. 396-412. , pp. 71-88.) - B. I. Zil′ber. Strongly minimal countably categorical theories. III. Ibid., vol. 25 no. 4 , pp. 559-571. , pp. 63-77.) - B. I. Zil′ber. Totally categorical structures and combinatorial geometries. Soviet mathematics–Doklady, vol. 24 no. 1 , pp. 149-151. , pp. 1039-1041.) - B. I. Zil′ber The struc. [REVIEW]Ehud Hrushovski - 1993 - Journal of Symbolic Logic 58 (2):710-713.
  12.  36
    Joseph Becker and Leonard Lipshitz. Remarks on the elementary theories of formal and convergent power series. Fundament a mathematicae, vol. 105 , pp. 229–239. - Françoise Delon. Indécidabilité de la théorie des anneaux de séries formelles à plusiers indéterminées. Fundament a mathematicae, vol. 112 , pp. 215–229. - J. Becker, J. Denef, and L. Lipshitz. Further remarks on the elementary theory of formal power series rings. 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. 1–9. - Françoise Delon. Hensel fields in equal characteristic p > 0. 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. [REVIEW]S. Basarab - 1985 - Journal of Symbolic Logic 50 (3):853-854.
  13.  34
    The Type Theoretic Interpretation of Constructive Set Theory.Peter Aczel, Angus Macintyre, Leszek Pacholski & Jeff Paris - 1984 - Journal of Symbolic Logic 49 (1):313-314.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  14.  31
    Preface.Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1.
  15. European meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.
  16. In Memoriam: Jerzy łoś 1920–1998.Leszek Pacholski - 2000 - Bulletin of Symbolic Logic 6 (1):97-100.
  17.  25
    Annual meeting of the association for symbolic logic: Karpacz, Poland 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  18.  45
    Asymptotic probabilities of existential second-order gödel sentences.Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438.
  19.  57
    Dynamic Culturology of Florian Znaniecki.Maksymilian Pacholski & Barbara Leś - 1975 - Dialectics and Humanism 2 (4):141-149.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  24
    Miroslav Benda. On saturated reduced products. Pacific journal of mathematics, vol. 39 , pp. 557–571.Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  20
    Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  22.  15
    S. R. Kogalovskij. Ob univérsal'nyh klassah algébr . Doklady Akadémii Nauk SSSR, vol. 122 , pp. 759–761.Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  24.  20
    Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.
    In this paper we introduce a new technique of proving undecidability results. This technique is based on the notion of a Thue tree. We also give examples of applications of this method to term rewriting, Horn implication problem and database dependencies.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Assisted death: a study in ethics and law.L. W. Sumner - 2011 - New York: Oxford University Press.
    In this timely book L.W. Sumner addresses these issues within the wider context of palliative care for patients in the dying process.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  26.  3
    Kogalovskij S. R.. Ob univérsal'nyh klassah algébr . Doklady Akadémii Nauk SSSR, vol. 122 , pp. 759–761. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  10
    Kogalovskij S. R.. Strukturnyé haraktéristiki universal'nyh klassov . Sibirskij matématičéskij žurnal, vol. 4 , pp. 97–119. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  40
    S. R. Kogalovskij. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367. Algébra i logika, vol. 7 no. 2 , pp. 27–41. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  30.  3
    Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
  31.  14
    Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):339-339.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  11
    Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  4
    Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.
  34.  10
    Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
  35.  8
    Review: Saharon Shelah, For what Filters is Every Reduced Product Saturated? [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  36.  26
    The ontology of time.L. Nathan Oaklander - 2004 - Amherst, N.Y.: Prometheus Books.
    L. Nathan Oaklander is one of the leading philosophers of time defending the tenseless or B-Theory of time. He has remained at the forefront of this field since the early 1980s and today he is arguably the most formidable opponent of the tensed or A-theory of time. Much of the direction of the debate in this field for the past twenty years or so, especially in regards to the new tenseless theory of time, has been influenced by Oaklander's work. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  37. Over de grondslagen der wiskunde..L. E. J. Brouwer - 1907 - Leipzig,: Maas & van Suchtelen.
  38. Is Justified True Belief Knowledge?Edmund L. Gettier - 1963 - Analysis 23 (6):121-123.
    Edmund Gettier is Professor Emeritus at the University of Massachusetts, Amherst. This short piece, published in 1963, seemed to many decisively to refute an otherwise attractive analysis of knowledge. It stimulated a renewed effort, still ongoing, to clarify exactly what knowledge comprises.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1166 citations  
  39. Istenről beszélünk.Ferenc Gál - 1969 - Budapest,: Szent István Társulat az Apostoli Szentszék Könyvkiadója.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Contemporary theories of knowledge.John L. Pollock - 1986 - London: Hutchinson.
    This new edition of the classic Contemporary Theories of Knowledge has been significantly updated to include analyses of the recent literature in epistemology.
  41.  26
    Ideals on Uncountable Cardinals.James E. Baumgartner, Alan Taylor, Stanley Wagon, Angus Macintyre, Leszek Pacholski & Jeff Paris - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
  42.  38
    Neuroethics and Nonhuman Animals.L. Syd M. Johnson, Andrew Fenton & Adam Shriver (eds.) - 2020 - Springer.
    This edited volume represents a unique addition to the available literature on animal ethics, animal studies, and neuroethics. Its goal is to expand discussions on animal ethics and neuroethics by weaving together different threads: philosophy of mind and animal minds, neuroscientific study of animal minds, and animal ethics. Neuroethical questions concerning animals’ moral status, animal minds and consciousness, animal pain, and the adequacy of animal models for neuropsychiatric disease have long been topics of debate in philosophy and ethics, and more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  10
    L'effet Baudrillard: l'élégance d'une pensée.François L'Yvonnet - 2013 - Paris: Éditions François Bourin.
    Le philosophe Jean Baudrillard (1929-2007) a-t-il vraiment existé? Que reste-t-il de lui? "Une élégance certaine de la pensée", affirme l'un de ses meilleurs interprètes, François L'Yvonnet. Le philosophe de La Société de consommation, des Stratégies fatales et des Cool Memories s'attachait à l'idée du fragment comme mode de pensée : car dans le détail, tout est parfait, c'est dans sa reproduction que tout se complique. François L'Yvonnet explore cinq fragments de la philosophie de Jean Baudrillard et de sa biographie pour (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Manṭiq al-Maʻrifah al-ʻilmīyah: Taḥlīl Manṭiqī lil-Afkār wa-al-QaḌāyā wa-al-Anẓimah fī al-Maʻrifah al-Tajrībīyah wa-al-Burhānīyah: al-Juʼz al-Awwal min Naẓarīyat al-ʻilm.Yāsīn Khalīl - 1971
     
    Export citation  
     
    Bookmark  
  45.  4
    Muqāwamat ahl al-sunnah lil-falsafah al-Yūnānīyah: khilāl al-ʻaṣr al-Islāmī, Q 2-13 al-Hijrī.Khālid Kabīr ʻAllāl - 2009 - al-Jazāʼir: Muʼassasat Kunūz al-Ḥikmah lil-Nashr wa-al-Tawzīʻ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  23
    Der echte und der xenophontische Sokrates.Karl Joël - 1893 - Berlin,: R. Gaertner.
    Excerpt from Der Echte: Und der Xenophontische Sokrates Der xen0phontische Sokrates selbst wieder zwang, die Fuh rung der Untersuchung weit mehr, als bisher geschehen, zu ver breitem. Die Memorabilien sind das Gegentheil eines selbst herrlichen Kunstwerks, weisen an allen Ecken und Enden uber sich hinaus, stehen als ein schwaches Glied in der Kette der sokratischen Literatur und zunachst in der der xenophontischen Schriften. Es galt, sie zunachst als solches zu begreifen und das volle Licht der Parallelen bei Xenophon auf sie (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  8
    Morals in evolution.L. T. Hobhouse - 1906 - London,: Chapman & Hall.
  48. Four Things Deleuze Learned from Leibniz.Mogens Lærke - 2010 - In Sjoerd van Tuinen & Niamh McDonnell (eds.), Deleuze and The fold: a critical reader. New York: Palgrave-Macmillan.
  49.  3
    Pochemu Bog spit: samizdatskiĭ traktat L.E. Pinskogo i ego perepiska s G.M. Kozint︠s︡evym.L. Pinskiĭ - 2019 - Sankt-Peterburg: Nestor-Istorii︠a︡. Edited by A. G. Kozint︠s︡ev.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  45
    Iblāg̲h̲-i K̲h̲ut̤bāt-i Iqbāl: Fikr-i Islāmī kī tashkīl-i nau.T̤ālib Ḥusain Siyāl - 2020 - Islāmābād: Iqbāl Bainulaqvāmī Idārah barāʼe Taḥqīq va Mukālamah, Bainulaqvāmī Islāmī Yūnīvarsiṭī.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 981