A note on a proof of Shepherdson

DOI10.1007/BF02023012MaRDI QIDQ3333036zbMATH OpenOpenAlexFDO

Authors 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

axiom of inductionopen consequencesopen formulaeproof theoryrule of inductionsyntactic proofs

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 4091496
• scientific article; zbMATH DE number 1157123
• scientific article; zbMATH DE number 4154443
• scientific article; zbMATH DE number 3914292
• Herbrand's theorem and term induction

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3300566 (Why is no real title available?)
• On an extension of Hilbert's second ε-theorem

Cited in

(2)

• scientific article; zbMATH DE number 1157123 (Why is no real title available?)
• On two classical results in the first order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3333036)