e-mail: jan.bydz <@> gmail.com

 

---

I am a Postdoctoral researcher at the Vienna university of Technology founded by the international project Reflection Spectra: Predicative Mathematics and Beyond (I4513). Before I was a Ph.D. student of Professor Matthias Baaz at the Institute of Discrete Mathematics and Geometry in Computational Logic research unit. I obtained my Master of Mathematics degree at the University of Vienna (KGRC) under the supervision of Moritz Müller but I am also in debt to Ján Pich. My research interests are proof theory, proof complexity and complexity theory. I am a fan of Jan Krajíček`s forcing with random variables and model theory of bounded arithmetics in general.

Publications

(with Juan P. Aguilera) Fundamental Logic is Decidable, 2022, submitted

(with Juan P. Aguilera and David Fernández-Duque) Noetherian Gödel logics. To appear in Journal for Logic and Computation , S. Artemov and A. Nerode, Eds., Springer International Publishing

(with Juan P. Aguilera and David Fernández-Duque) A non-hyperarithmetical Gödel logic. In Logical Foundations of Computer Science (2022) , S. Artemov and A. Nerode, Eds., Springer International Publishing [PDF]

(with Juan P. Aguilera and Matthias Baaz) The number of axioms. Annals of Pure and Applied Logic 173, 5 (2022), [PDF]

(with Igor Carboni Oliveira and Jan Krajíček) Consistency of circuit lower bounds with bounded theories. Logical Methods in Computer Science , Volume 16, Issue 2, (June 18, 2020) doi:10.23638/LMCS-16(2:12)2020 [PDF]

(with Moritz Müller) Polynomial time ultrapowers and the consistency of circuit lower bounds, Arch. Math. Logic (2019) doi:10.1007/s00153-019-00681-y [PDF]

Other

Proofs as finite structures, Ph.D. thesis, Vienna university of Technology, 2022 (cummulative thesis consists from published papers)

Powers of models in weak arithmetics, MSc thesis, Faculty of Mathematics, University of Vienna, 2018 [PDF]

 

---

I share my advisor with Juan and Anela, and my thoughts with Jan.