Effectiveness and provability

DOI10.1007/BF02925207MaRDI QIDQ4318898zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 11 January 1995

Published in Rendiconti del Seminario Matematico e Fisico di Milano (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02925207

zbMATH Keywords

provably total functionsweak theories for analysis

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30)

Recommendations

• Provably total functions of intuitionistic bounded arithmetic
• scientific article; zbMATH DE number 691421
• scientific article; zbMATH DE number 15306
• scientific article; zbMATH DE number 2006635
• The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories

Cites work

• Herbrand analyses
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• scientific article; zbMATH DE number 4055605 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 727991 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• On the Interpretation of Non-Finitist Proofs--Part I

Cited in

(2)

• Effectiveness
• Means-end relations and a measure of efficacy

This page was built for publication: Effectiveness and provability

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