Foundations for analysis and proof theory

DOI10.1007/BF00485460zbMath0547.01013OpenAlexW4241840281MaRDI QIDQ798634

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

metamathematicsproof theoryconservative extensionarithmetizationconsistency 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)

Related Items

Hilbert's Programs: 1917–1922 ⋮ Hilbert's program and the omega-rule

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Two Applications of Logic to Mathematics
• Functionals defined by transfinite recursion
• Systems of predicative analysis
• A survey of proof theory
• Grundlagen der Mathematik I
• Bertrand Russell, as Mathematician