Cargando…

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

Descripción completa

Detalles Bibliográficos
Autores principales: Adamowicz, Zofia, Bigorajska, Teresa, Zdanowski, Konrad
Lenguaje:eng
Publicado: Springer 2019
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-030-28921-8
http://cds.cern.ch/record/2700160