Publications

Journal: Journal of Symbolic Logic

Number of publications: 18

2023

• Leszek Kołodziejczyk , Katarzyna Kowalik, Keita Yokoyama, How strong is Ramsey's theorem if infinity can be weak?, Journal of Symbolic Logic, 88 (2) 2023, p. 620-639. See in PBN
• Daniel Hoffmann , Piotr Kowalski, Model theory of fields with finite group scheme actions, Journal of Symbolic Logic, 88 (4) 2023, p. 1443 - 1468. See in PBN
• Daniel Hoffmann , Piotr Kowalski, PAC structures as invariants of finite group actions, Journal of Symbolic Logic, "preproof" accepted article 2023, p. 1-34. See in PBN
• Daniel Hoffmann , ANAND PILLAY, THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS, Journal of Symbolic Logic, 88 (4) 2023, p. 1354-1366. See in PBN

2021

• Roman Pol , Piotr Zakrzewski , COUNTABLY PERFECTLY MEAGER SETS, Journal of Symbolic Logic, 86 (3) 2021, p. 1214-1227. See in PBN

2020

• JAN DOBROWOLSKI, Daniel Hoffmann , JUNGUK LEE, Elementary equivalence theorem for PAC structures, Journal of Symbolic Logic, 85 (4) 2020, p. 1467-1498. See in PBN

2016

• Leszek Kołodziejczyk , End-extensions of models of weak arithmetic from complexity-theoretic containments, Journal of Symbolic Logic, 2016. See in PBN

2014

• Leszek Kołodziejczyk , Samuel R. Buss, Neil Thapen, Fragments of approximate counting, Journal of Symbolic Logic, 79 (2) 2014, p. 496-525. See in PBN
• Krzysztof Krupiński, Tomasz Gogacz , On regular groups and fields, Journal of Symbolic Logic, 79 (3) 2014, p. 826-844. See in PBN

2012

• Zofia Adamowicz, Leszek Kołodziejczyk , Jeff Paris, Truth definitions without exponentiation and the $\Sigma_1$ collection scheme, Journal of Symbolic Logic, 2012. See in PBN

2008

• Morten Heine Soerensen, Paweł Urzyczyn , Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions, Journal of Symbolic Logic, 2008. See in PBN
• Leszek Kołodziejczyk , Neil Thapen, The polynomial and linear hierarchies in models where the weak pigeonhole principle fails, Journal of Symbolic Logic, 2008. See in PBN

2006

• Leszek Kołodziejczyk , On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories, Journal of Symbolic Logic, 2006. See in PBN
• Witold Marciszewski , Bell Murray, Universal spaces for classes of scattered Eberlein compact spaces, Journal of Symbolic Logic, 2006. See in PBN

2004

• Leszek Kołodziejczyk , A finite model - theoretical proof of a property of bounded query classes within PH, Journal of Symbolic Logic, 2004. See in PBN
• Leszek Kołodziejczyk , Truth definitions in finite models, Journal of Symbolic Logic, 2004. See in PBN

1995

• Silvio Ghilardi, Marek Zawadowski , A sheaf representation and duality for finitely presented Heyting algebras, Journal of Symbolic Logic, 1995. See in PBN

1988

• Piotr Zakrzewski , On universal semiregular invariant measures, Journal of Symbolic Logic, 1988. See in PBN