Items where Author is "Henk, Paula"

[up] Up a level
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 Thu Apr 25 00:30:47 2024 CEST.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility