Publications

Journal: Journal of Mathematical Logic

2024

• Leszek Kołodziejczyk , Tin Lok Wong, Keita Yokoyama, Ramsey’s theorem for pairs, collection, and proof size, Journal of Mathematical Logic, 24 (2) 2024. See in PBN

2023

• Daniel Hoffmann , Junguk Lee, Co-theory of sorted profinite groups for PAC structures, Journal of Mathematical Logic, 23 (3) 2023, p. 2250030. See in PBN

2022

• Leszek Kołodziejczyk , Neil Thapen, Approximate counting and NP search problems, Journal of Mathematical Logic, 22 (3) 2022. See in PBN
• Daniel Hoffmann , Omar León Sánchez, Model theory of differential fields with finite group actions, Journal of Mathematical Logic, 22 (1) 2022. See in PBN

2018

• Daniel Hoffmann , Piotr Kowalski, Existentially closed fields with finite group actions, Journal of Mathematical Logic, 18 (1) 2018, p. 1-26. See in PBN