Introduction

Abstract

In this chapter some prerequisites for ordinal analysis are explained such as one-sided sequent calculi, recursion-theoretic prerequisites, and the definition of the proof-theoretic ordinal. Our base theory, the elementary (recursive) arithmetic EA, is introduced, and the Kripke–Platek set theory KP is also defined. These materials are scattered in textbooks on logic.