Unfolding Finitist Arithmetic
Book Chapter
Formal Antecedent
Foundations and Logic
Citation
Solomon Feferman and Thomas Strahm. (2010). Unfolding Finitist Arithmetic. Foundational Theories of Classical and Constructive Mathematics. 76. pp. 83–116. Springer.
Why this reference is included
Feferman and Strahm’s chapter Unfolding Finitist Arithmetic (2010) in Foundational Theories of Classical and Constructive Mathematics sits in the program’s reference corpus. Cited in Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape, where the program draws on it in the context of “Feferman and Feferman–Strahm developed the concept of reflective closure and unfolding of formal systems.”
Cited in
-
Book I — Categorical Foundations Part 18Chapter The Self-Hosting Landscape
Feferman and Feferman–Strahm developed the concept of reflective closure and unfolding of formal systems