Results for 'L. Pacholski'

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.  13
    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.  21
    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.  10
    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.  33
    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.  61
    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.  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.
  11.  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.
  12.  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.
  13.  35
    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.  7
    Nauka na grani s nenaukoĭ.L. A. Markova - 2013 - Moskva: Reabilitat︠s︡ii︠a︡.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  3
    Filosofii︠a︡, metodologii︠a︡, nauka: kollektivnai︠a︡ monografii︠a︡.L. A. Mikeshina (ed.) - 2004 - Moskva: Prometeĭ.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  32
    Preface.Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1.
  17. European meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.
  18. In Memoriam: Jerzy łoś 1920–1998.Leszek Pacholski - 2000 - Bulletin of Symbolic Logic 6 (1):97-100.
  19.  27
    Annual meeting of the association for symbolic logic: Karpacz, Poland 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  20.  45
    Asymptotic probabilities of existential second-order gödel sentences.Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438.
  21.  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  
  22.  29
    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  
  23.  20
    Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  24.  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  
  25. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  26.  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  
  27. Much too loud and not loud enough : Issues involving the reception of staged rock musicals.Elizabeth L. Wollman - 2004 - In Christopher Washburne & Maiken Derno (eds.), Bad music: the music we love to hate. New York: Routledge.
     
    Export citation  
     
    Bookmark  
  28.  13
    Much Too Loud and Not Loud Enough: Issues Involving the Reception.Elizabeth L. Wollman & Simon Frith - 2004 - In Christopher Washburne & Maiken Derno (eds.), Bad music: the music we love to hate. New York: Routledge. pp. 311.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  5
    When the rooster crows: God, suffering and being in the world.Vincent L. Perri - 2023 - Irvine: Universal Publishers.
    This book closely examines our commonly held beliefs about human suffering, and offers unique insights into God's role in why we suffer. Dr. Perri critically examines what it means to be human from a Judeo-Christian perspective, and extrapolates from the work of Carl Gustav Jung showing a deeply complex development of human transcendence in human suffering. On an interpersonal level, Dr. Perri elaborates on the work of Martin Buber and Emanuel Levinas and shows how our suffering can be shared and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  26
    The Rational as Reasonable. A Treatise on Legal Justification.L. H. LaRue - 1992 - Noûs 26 (2):238-243.
  31.  3
    Naqd-i īdiʼūlūzhī.Kamāl Khusravī - 2004 - Tihrān: Nashr-i Akhtarān.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    K.E. Løgstrup: indføring og tekster.K. E. Løgstrup - 1995 - København: Munksgaard. Edited by Erik Kempf & Ole Morsing.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  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  
  34.  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  
  35.  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  
  36.  12
    Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  37.  3
    Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
  38.  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  
  39.  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  
  40.  4
    Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.
  41.  10
    Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
  42.  8
    Review: Saharon Shelah, For what Filters is Every Reduced Product Saturated? [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  43. Clarifying the legal requirement for cross-border sharing of health data in POPIA: Recommendations on the draft Code of Conduct for Research.L. Abdulrauf, A. Adaji & H. Ojibara - forthcoming - South African Journal of Bioethics and Law:e1696.
    The draft Code of Conduct for Research is an important initiative towards assisting the scientific community in complying with the provisions of the Protection of Personal Information Act 4 of 2013 (POPIA). However, its approach towards cross-border data sharing should be reconsidered to clarify the ambiguities inherent in the legal requirements for the cross-border sharing of health data in the POPIA. These ambiguities include the concept of ‘transfer of information’, the application of adequacy as a legal mechanism for transfer, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  1
    Politicheskie i pravovye uchenii︠a︡ XVII veka.L. V. Batiev - 2006 - Sankt-Peterburg: I︠U︡ridicheskiĭ t︠s︡entr Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. A hermeneutic study of nurses workload–the dialectic tension between 'to be or not to be'a good nurse.L. Fagerström - 1988 - In Ian E. Thompson, Kath M. Melia & Kenneth M. Boyd (eds.), Nursing ethics. New York: Churchill Livingstone Elsevier. pp. 13--6.
     
    Export citation  
     
    Bookmark  
  46. Liberal nationalism, citizenship, and integration.Sune Lægaard - 2011 - In Jeremy S. Duncan (ed.), Perspectives on ethics. New York: Nova Science Publishers.
     
    Export citation  
     
    Bookmark  
  47.  27
    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.
  48. Declarative and nondeclarative memory: Multiple brain systems supporting brain systems.L. R. Squire - 1994 - In D. Schacter & E. Tulving (eds.), Memory Systems. MIT Press.
  49.  54
    Life history and language: Selection in development.L. Locke John & Bogin Barry - 2006 - Behavioral and Brain Sciences 29 (3):301-311.
    Language, like other human traits, could only have evolved during one or more stages of development. We enlist the theoretical framework of human life history to account for certain aspects of linguistic evolution, with special reference to initial phases in the process. It is hypothesized that selection operated at several developmental stages, the earlier ones producing new behaviors that were reinforced by additional, and possibly more powerful, forms of selection during later stages, especially adolescence and early adulthood. Peer commentaries have (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. 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  
1 — 50 / 981