Jan Bydzovsky

Orcid: 0000-0003-2240-0147

According to our database1, Jan Bydzovsky authored at least 5 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Noetherian Gödel logics.
J. Log. Comput., 2022

The number of axioms.
Ann. Pure Appl. Log., 2022

A Non-hyperarithmetical Gödel Logic.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2020
Polynomial time ultrapowers and the consistency of circuit lower bounds.
Arch. Math. Log., 2020

2019
Consistency of circuit lower bounds with bounded theories.
Electron. Colloquium Comput. Complex., 2019


  Loading...