A Model–Theoretic Approach to Proof Theory

A Model–Theoretic Approach to Proof Theory by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski.

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...

Full description

Saved in:
Bibliographic Details
Main Author: Kotlarski, Henryk (Author)
Corporate Author: SpringerLink (Online service)
Other Authors: Adamowicz, Zofia (Editor), Bigorajska, Teresa (Editor), Zdanowski, Konrad (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Trends in Logic, Studia Logica Library, 51
Springer eBook Collection.
Subjects:
Logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

Similar Items

Similar Items