Next:
The formalization of interpretability
Up:
Towards the Interpretability Logic
Previous:
Introduction
The landscape: Interpretability
The formalization of interpretability
Valid arithmetical principles
The other principles
Joost Joosten
2000-02-07