The possibility of analysis: convergence and proofs of convergence

DOI10.1007/978-3-319-94364-0_12zbMATH Open1436.03036OpenAlexW2905056747MaRDI QIDQ3295778FDOQ3295778

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

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

Mathematics Subject Classification ID

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

Cites Work

• On the termination of Russell's description elimination algorithm
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systems of Logic Based on Ordinals^†
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies

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)