Reflecting on Incompleteness
Article
Formal Antecedent
Foundations and Logic
Citation
Solomon Feferman. (1991). Reflecting on Incompleteness. Journal of Symbolic Logic. 56(1). pp. 1–49.
Why this reference is included
Feferman’s 1991 Reflecting on Incompleteness, published in Journal of Symbolic Logic, is one of the program’s working technical references. 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