UNFOLDING FINITIST ARITHMETIC

DOI10.1017/S1755020310000183zbMath1232.03053OpenAlexW2129350981MaRDI QIDQ3066785

Solomon Feferman, Thomas Strahm

Publication date: 12 January 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020310000183

zbMATH Keywords

unfoldingbar rulefinitist arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

A feasible theory of truth over combinatory algebra, The Operational Perspective: Three Routes, Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective, Unfolding Schematic Systems, Feferman and the Truth, Predicativity and Feferman, Reflecting and unfolding

Cites Work

• Unnamed Item
• Fragments of arithmetic
• Nested recursion
• The unfolding of non-finitist arithmetic
• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule
• Quantifier-free and one-quantifier systems
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I