27 found
Order:
Disambiguations
Leszek Pacholski [25]L. Pacholski [6]
  1.  18
    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   77 citations  
  2.  10
    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.
  3. In Memoriam: Jerzy Łoś 1920–1998.Leszek Pacholski - 2000 - Bulletin of Symbolic Logic 6 (1):97-100.
  4. European Meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.
  5.  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  
  6.  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  
  7. 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.
  8. Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
     
    Export citation  
     
    Bookmark  
  9. 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  
  10. Sesja Panelowa: Wyzwania Stojące Przed Systemem Finansowania Nauki W Polsce.Leszek Pacholski, Leszek Grabarczyk, Julita Jabłecka-Prysłopska, Andrzej Jajszczyk, Janina Jóźwiak, Magdalena Maciejewska & Maciej Żylicz - 2014 - Zagadnienia Naukoznawstwa 50 (201).
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  19
    Preface.Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1.
  13.  13
    Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  14.  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  
  15.  14
    Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
  16.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  9
    Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  32
    Asymptotic Probabilities of Existential Second-Order Gödel Sentences.Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438.
  19.  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.
  20.  8
    Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
  21.  6
    Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  22.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  4
    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.
  24.  4
    Review: Saharon Shelah, For What Filters is Every Reduced Product Saturated? [REVIEW]Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456.
  25.  8
    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  
  26.  2
    Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
  27.  2
    Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.