scientific article
From MaRDI portal
Publication:3079692
zbMath1231.03051MaRDI QIDQ3079692
Publication date: 2 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)
Related Items
The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ The bounded functional interpretation of bar induction