A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
DOI10.1007/978-3-030-28921-8zbMath1471.03001OpenAlexW2975662749MaRDI QIDQ2322259
Publication date: 4 September 2019
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-28921-8
model theoryproof theorynonstandard modelsPeano arithmeticmodels of arithmeticindependence resultstransfinite inductionGödel's incompleteness theoremsTarski's theoremrecursive saturationordinal combinatoricsHardy hierarchysatisfaction class
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40)
Related Items