Publikacje

Czasopismo: Journal of Symbolic Logic

Liczba publikacji: 23

2025

• Konrad Zdanowski, Aleksy Schubert , Paweł Urzyczyn , BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING, Journal of Symbolic Logic, 2025, s. 1-17. Zobacz w PBN
• Daniel Hoffmann , Piotr Kowalski, PAC structures as invariants of finite group actions, Journal of Symbolic Logic, 3 (90) 2025, s. 1340-1375. Zobacz w PBN

2024

• Jan Dobrowolski, Daniel Hoffmann , On rank not only in NSOP1 theories, Journal of Symbolic Logic, 89 (4) 2024, s. 1669-1702. Zobacz w PBN
• Andrzej Tarlecki , ON THE FRAGILITY OF INTERPOLATION, Journal of Symbolic Logic, 2024, s. 1-38. Zobacz w PBN

2023

• ANDREAS HALLBÄCK, Maciej Malicki , TODOR TSANKOV, CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS, Journal of Symbolic Logic, 88 (4) 2023, s. 1725-1752. Zobacz w PBN
• 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 , ANAND PILLAY, THORN FORKING, WEAK NORMALITY, AND THEORIES WITH SELECTORS, Journal of Symbolic Logic, 88 (4) 2023, s. 1354-1366. Zobacz w PBN

2022

• Maciej Malicki , ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES, Journal of Symbolic Logic, 89 (2) 2022, s. 646-664. 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
• Maciej Malicki , Konwekwencje własności AG i grupy automorfizmów jednorodnych struktur metrycznych, Journal of Symbolic Logic, 81 2016, s. 876-886. 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

1988

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