Kripke Models Built from Models of Arithmetic. - Paula Henk (TbiLLC, 2013)

Interpretability suprema in Peano Arithmetic. - Paula Henk; Albert Visser (Arch. Math. Log., 2017)