Effectiveness and provability

DOI10.1007/BF02925207zbMath0811.03041OpenAlexW2092836819MaRDI QIDQ4318898

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) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Herbrand analyses
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• On the Interpretation of Non-Finitist Proofs--Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effectiveness and provability