Consistency of circuit lower bounds with bounded theories. - Jan Bydzovsky; Igor Carboni Oliveira; Jan Krajícek (Electron. Colloquium Comput. Complex., 2019)

Polynomial time ultrapowers and the consistency of circuit lower bounds. - Jan Bydzovsky; Moritz Müller (Arch. Math. Log., 2020)

A Non-hyperarithmetical Gödel Logic. - Juan P. Aguilera 001; Jan Bydzovsky; David Fernández-Duque (LFCS, 2022)

The number of axioms. - Juan P. Aguilera 001; Matthias Baaz; Jan Bydzovsky (Ann. Pure Appl. Log., 2022)

Noetherian Gödel logics. - Juan P. Aguilera 001; Jan Bydzovsky; David Fernández-Duque (J. Log. Comput., 2022)

Fundamental Logic Is Decidable. - Juan P. Aguilera 001; Jan Bydzovsky (ACM Trans. Comput. Log., 2024)