Pa-Beweisbare ∀∃-Formeln

DOI10.1007/BF02007139zbMath0547.03034MaRDI QIDQ3338236

Werner Mellis

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

zbMATH Keywords

proof theoryarithmetical function hierarchyprovable functionssubsystems of first order Peano Arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Nested recursion
• Schlussweisen-Kalküle der Prädikatenlogik
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Functionals defined by transfinite recursion
• A survey of proof theory
• On n-quantifier induction

This page was built for publication: Pa-Beweisbare ∀∃-Formeln