Jan Bydzovsky

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Electronic Circuits

Top Venues

J. Log. Comput.

Arch. Math. Log.

Publications

Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
Noetherian Gödel logics. J. Log. Comput. 32 (8) (2022)
Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque
A Non-hyperarithmetical Gödel Logic. LFCS (2022)
Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky
The number of axioms. Ann. Pure Appl. Log. 173 (5) (2022)
Jan Bydzovsky, Jan Krajícek, Igor Carboni Oliveira
Consistency of circuit lower bounds with bounded theories. Log. Methods Comput. Sci. 16 (2) (2020)
Jan Bydzovsky, Moritz Müller
Polynomial time ultrapowers and the consistency of circuit lower bounds. Arch. Math. Log. 59 (1-2) (2020)
Jan Bydzovsky, Igor Carboni Oliveira, Jan Krajícek
Consistency of circuit lower bounds with bounded theories. Electron. Colloquium Comput. Complex. 26 (2019)
Jan Bydzovsky, Jan Krajícek, Igor Carboni Oliveira
Consistency of circuit lower bounds with bounded theories. CoRR (2019)