22 found
Order:
  1.  19
    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   78 citations  
  2. In Memoriam: Jerzy łoś 1920–1998.Leszek Pacholski - 2000 - Bulletin of Symbolic Logic 6 (1):97-100.
  3. European meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.
  4.  21
    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  
  5.  36
    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  
  6. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  7. 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  
  8.  13
    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  
  9.  20
    Preface.Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1.
  10.  13
    Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  11.  16
    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  
  12.  15
    Annual meeting of the association for symbolic logic: Karpacz, Poland 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  13.  12
    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  
  14.  9
    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  
  15.  8
    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.
  16.  8
    Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
  17.  32
    Asymptotic probabilities of existential second-order gödel sentences.Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438.
  18.  6
    Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  19.  4
    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  
  20.  4
    Review: Saharon Shelah, For what Filters is Every Reduced Product Saturated? [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  21.  2
    Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
  22.  2
    Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.