Search
 
loader loading subjects...
cover
A Model Theoretic Approach to Proof Theory of Arithmetic
Henryk Kotlarski
198 - 234
10.3233/978-1-58603-782-6-198
Andrzej Mostowski and Foundational Studies
Abstract

I review Ratajczyk's version of model theoretic approach to proof theory for arithmetic. I develop the idea of the Hardy hierarchy and its application to construction of initial segments satisfying PA. As a sample of applications of these ideas I give a version of the Paris–Harrington theorem and a sketch of independence of Goodstein theorem.

$35.00 / €27.50 / £22.00
Add PDF to cart