Jan Bydzovsky

According to our database, Jan Bydzovsky authored at least 6 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fundamental Logic Is Decidable.

Juan P. Aguilera, Jan Bydzovsky

ACM Trans. Comput. Log., 2024

2022

Noetherian Gödel logics.

Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque

J. Log. Comput., 2022

The number of axioms.

Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky

Ann. Pure Appl. Log., 2022

A Non-hyperarithmetical Gödel Logic.

Juan P. Aguilera, Jan Bydzovsky, David Fernández-Duque

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2020

Polynomial time ultrapowers and the consistency of circuit lower bounds.

Jan Bydzovsky, Moritz Müller

Arch. Math. Log., 2020

2019

Consistency of circuit lower bounds with bounded theories.

Jan Bydzovsky, Igor Carboni Oliveira, Jan Krajícek

Electron. Colloquium Comput. Complex., 2019