Foundations for analysis and proof theory

DOI10.1007/BF00485460MaRDI QIDQ798634zbMATHOpenAlexFDO

Authors Wilfried Sieg

Publication date 1984

Published in Synthese (Search for Journal in Brave)

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

zbMATH Keywords

proof theoryconservative extensionmetamathematicsarithmetizationconsistency of arithmetic

Mathematics Subject Classification ID

History of mathematics in the 18th century (01A50) History of mathematics in the 19th century (01A55) History of real functions (26-03) Proof theory and constructive mathematics (03F99)

Recommendations

• Dedekind's analysis of number: Systems and axioms
• Hilbert's programs and beyond
• scientific article; zbMATH DE number 4051610
• scientific article; zbMATH DE number 1024384
• From Dedekind to Gödel. Essays on the development of the foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3523506 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3342822 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• A survey of proof theory
• Bertrand Russell, as Mathematician
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Functionals defined by transfinite recursion
• Grundlagen der Mathematik I
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Systems of predicative analysis
• Two Applications of Logic to Mathematics

Cited in

(6)

• Hilbert's Programs: 1917–1922
• Hilbert's program and the omega-rule
• scientific article; zbMATH DE number 1418078 (Why is no real title available?)
• Proof theory and ordinal analysis
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• scientific article; zbMATH DE number 5652610 (Why is no real title available?)

This page was built for publication: Foundations for analysis and proof theory

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