Items where Author is "Henk, Paula"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 6.

Report

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]

Thesis

DS-2016-10: Henk, Paula (2016) Nonstandard Provability for Peano Arithmetic. A Modal Perspective. Doctoral thesis, University of Amsterdam.

This list was generated on Fri Oct 4 00:30:28 2024 CEST.