The possibility of analysis: convergence and proofs of convergence

DOI10.1007/978-3-319-94364-0_12MaRDI QIDQ3295778zbMATH OpenOpenAlexFDO

Authors

Publication date 13 July 2020

Published in The Philosophy of Logical Atomism (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-94364-0_12

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Philosophy of mathematics (00A30)

Recommendations

• scientific article; zbMATH DE number 883255
• scientific article; zbMATH DE number 1055406
• On the convergence of reduction-based and model-based methods in proof theory
• Why proof? What is a proof?
• scientific article; zbMATH DE number 3871342

Cites work

• scientific article; zbMATH DE number 3131080 (Why is no real title available?)
• scientific article; zbMATH DE number 3727583 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• On the termination of Russell's description elimination algorithm
• Systems of Logic Based on Ordinals^†

Cited in

(1)

• Spector’s Proof of the Consistency of Analysis

This page was built for publication: The possibility of analysis: convergence and proofs of convergence

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