A Model-Theoretic Approach to Proof Theory

• Main Author: Kotlarski, Henryk (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Other Authors: Adamowicz, Zofia (Editor, http://id.loc.gov/vocabulary/relators/edt), Bigorajska, Teresa (Editor, http://id.loc.gov/vocabulary/relators/edt), Zdanowski, Konrad (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Trends in Logic, Studia Logica Library, 51
• Subjects: Logic.; Mathematical logic.; Mathematical Logic and Foundations.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the...

Table of Contents:

• Chapter 1. Some combinatorics
• Chapter 2. Some model theory
• Chapter 3. Incompleteness
• Chapter 4. Transfinite induction
• Chapter 5. Satisfaction classes.