A Model-Theoretic Approach to Proof Theory

A Model-Theoretic Approach to Proof Theory

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

Bibliographic Details
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.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items