Jan Bydžovský

Technische Universität Wien, 
Institute of Discrete Mathematics and Geometry
Wiedner Hauptstraße 8–10/104, A-1040 
Vienna, Austria
e-mail: jan.bydz <@> gmail.com


I am a Ph.D. student of Professor Matthias Baaz at the Institute of Discrete Mathematics and Geometry in Computational Logic research unit. I obtained my Bachelor in pure Logic at Charles University in Prague (Department of Logic) under the supervision of Radek Honzík and my Master of Mathematics at 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.


  • (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(s)

  • 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.