×
2017
Interpretability suprema in Peano Arithmetic.
[DOI]
Paula Henk
,
Albert Visser
Arch. Math. Log., 2017
2013
Kripke Models Built from Models of Arithmetic.
[DOI]
Paula Henk
Proceedings of the Logic, Language, and Computation, 2013