PP-2016-32: Henk, Paula and Visser, Albert (2016) Interpretability suprema in Peano Arithmetic. [Report]
PP-2016-31: Henk, Paula and Shavrukov, V. Yu. (2016) A Solovay function for the least 1-inconsistent subtheory of PA. [Report]
PP-2014-01: Henk, Paula (2014) Kripke Models Built from Models of Arithmetic. [Report]
MoL-2012-10: Henk, Paula (2012) Supremum in the Lattice of Interpretability. [Report]
X-2011-06: Henk, Paula (2011) A new perspective on the arithmetical completeness of GL. [Report]
DS-2016-10: Henk, Paula (2016) Nonstandard Provability for Peano Arithmetic. A Modal Perspective. Doctoral thesis, University of Amsterdam.