Pi^0_1 ordinal analysis beyond first order arithmetic

zbMath1298.03111arXiv1212.2395MaRDI QIDQ2862108

Joost J. Joosten

Publication date: 14 November 2013

Full work available at URL: https://arxiv.org/abs/1212.2395

zbMATH Keywords

proof-theoretic analysispolymodal provability logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)

Related Items (3)

The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ MÜNCHHAUSEN PROVABILITY

This page was built for publication: Pi^0_1 ordinal analysis beyond first order arithmetic