scientific article
zbMath1070.03038MaRDI QIDQ3025175
Publication date: 12 July 2005
Full work available at URL: http://d-nb.info/961696125
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
primitive recursive arithmeticordinal analysisprovably recursive functionsdenotation systemsinfinitary derivationsfinitary proof theoryimpredicative theoriesKripke-Platek set theory with \(\Pi_3\)-Reflection
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Nonclassical and second-order set theories (03E70) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)
This page was built for publication:
