Foundations for analysis and proof theory

DOI10.1007/BF00485460zbMATH Open0547.01013OpenAlexW4241840281MaRDI QIDQ798634FDOQ798634

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

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

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)

Cites Work

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

Cited In (6)

• Proof theory and ordinal analysis
• Hilbert's Programs: 1917–1922
• Title not available (Why is that?)
• Hilbert's program and the omega-rule
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Title not available (Why is that?)

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)