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