Name Card

Full name Familienname, Vorname
Bydzovsky, Jan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bydžovský, Jan Proofs as finite structuresThesis Hochschulschrift2022
2Bydzovsky, Jan The Number of AxiomsPräsentation Presentation2021
3Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David A non-hyperarithmetical Gödel logic.Beitrag in Tagungsband Inproceedings 2021
4Bydžovský, Jan ; Müller, Moritz Polynomial time ultrapowers and the consistency of circuit lower boundsArtikel Article 2020
5Bydzovsky, Jan ; Krajicek, Jan ; Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesArtikel Article 2020
6Bydzovsky, Jan ; Krajicek, Jan ; Carboni Oliveira, Igor Consistency of circuit lower bounds with bounded theoriesPreprint Preprint2019
7Bydzovsky, Jan Ultrapower Constructions and Proof ComplexityPräsentation Presentation2018
8Bydzovsky, Jan Unprovability of circuit upper bounds in the Cook's theory PVPräsentation Presentation2018