Order: Listing date First author Impact Pub year Relevance Downloads
Order
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. details
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. details
In Memoriam: Jerzy Łoś 1920–1998. Leszek Pacholski - 2000 - Bulletin of Symbolic Logic 6 (1):97-100. details
European Meeting of the Association for Symbolic Logic, Wroclaw 1977. Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468. details
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. details
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. details
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. details
Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977. Angus Macintyre , Leszek Pacholski & J. B. Paris - 1978 details
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. details
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). details
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. details
Preface. Patrick Cegielski , Leszek Pacholski , Denis Richard , Jerzy Tomasik & Alex Wilkie - 1997 - Annals of Pure and Applied Logic 89 (1):1. details
Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979. Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702. details
Thue Trees. Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59. details
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702. details
Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem. [REVIEW] Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):339-339. details
Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej. [REVIEW] Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401. details
Asymptotic Probabilities of Existential Second-Order Gödel Sentences. Leszek Pacholski & WiesŁaw Szwast - 1991 - Journal of Symbolic Logic 56 (2):427-438. details
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. details
Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW] Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401. details
Review: Miroslav Benda, On Saturated Reduced Products. [REVIEW] Leszek Pacholski - 1975 - Journal of Symbolic Logic 40 (3):456-456. details
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. details
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. details
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. details
Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW] Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339. details
Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW] Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed