Powrót do listy instytutów
Publikacje
Czasopismo: Journal of Symbolic Logic
Liczba publikacji: 172023
- Leszek Kołodziejczyk , KATARZYNA W. 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
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