**Jan Bydžovský**

Technische Universität Wien,

Institute of Discrete Mathematics and Geometry

Wiedner Hauptstraße 8–10/104, A-1040

Vienna, Austria

Institute of Discrete Mathematics and Geometry

Wiedner Hauptstraße 8–10/104, A-1040

Vienna, Austria

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

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

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.

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