A note on a proof of Shepherdson

DOI10.1007/BF02023012zbMath0544.03030OpenAlexW1989069466MaRDI QIDQ3333036

Timothy B. Flannagan

Publication date: 1983

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138006

zbMATH Keywords

proof theoryaxiom of inductionopen consequencesopen formulaerule of inductionsyntactic proofs

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item
• Unnamed Item
• On an extension of Hilbert's second ε-theorem

This page was built for publication: A note on a proof of Shepherdson