Pa-Beweisbare ∀∃-Formeln
From MaRDI portal
Publication:3338236
DOI10.1007/BF02007139zbMath0547.03034MaRDI QIDQ3338236
Publication date: 1984
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138021
proof theory; arithmetical function hierarchy; provable functions; subsystems of first order Peano Arithmetic
03F30: First-order arithmetic and fragments
Cites Work