Provability logic and the completeness principle. - Albert Visser; Jetze Zoethout (Ann. Pure Appl. Log., 2019)

On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes. - Jetze Zoethout (Math. Struct. Comput. Sci., 2021)

Computability Models and Realizability Toposes. - Jetze Zoethout (2022)

Third-order functionals on partial combinatory algebras. - Jetze Zoethout (Ann. Pure Appl. Log., 2023)