Limits of structures and Total NP Search Problems. - Ondrej Jezil (Electron. Colloquium Comput. Complex., 2023)

Feasibility of Primality in Bounded Arithmetic. - Raheleh Jalali; Ondrej Jezil (CoRR, 2025)

Prime Factorization in Models of PV1. - Ondrej Jezil (CoRR, 2025)