Publikacje

Czasopismo: Journal of Symbolic Logic

Liczba publikacji: 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, s. 620-639. Zobacz w PBN
• Daniel Hoffmann , Piotr Kowalski, Model theory of fields with finite group scheme actions, Journal of Symbolic Logic, 88 (4) 2023, s. 1443 - 1468. Zobacz w PBN
• Daniel Hoffmann , Piotr Kowalski, PAC structures as invariants of finite group actions, Journal of Symbolic Logic, "preproof" accepted article 2023, s. 1-34. Zobacz w PBN
• Daniel Hoffmann , ANAND PILLAY, THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS, Journal of Symbolic Logic, 88 (4) 2023, s. 1354-1366. Zobacz w PBN

2021

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

2020

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

2016

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

2014

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

2012

• Zofia Adamowicz, Leszek Kołodziejczyk , Jeff Paris, Truth definitions without exponentiation and the $\Sigma_1$ collection scheme, Journal of Symbolic Logic, 2012. Zobacz w 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. Zobacz w PBN
• Leszek Kołodziejczyk , Neil Thapen, The polynomial and linear hierarchies in models where the weak pigeonhole principle fails, Journal of Symbolic Logic, 2008. Zobacz w PBN

2006

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

2004

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

1995

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

1988

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