The Possibility of Analysis: Convergence and Proofs of Convergence

DOI10.1007/978-3-319-94364-0_12zbMath1436.03036OpenAlexW2905056747MaRDI QIDQ3295778

No author found.

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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^†

This page was built for publication: The Possibility of Analysis: Convergence and Proofs of Convergence