Feferman on Foundations

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
3. Altmetric Badge
   Chapter 2 Feferman on Computability
4. Altmetric Badge
   Chapter 3 On the Computability of the Fan Functional
5. Altmetric Badge
   Chapter 4 A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal
6. Altmetric Badge
   Chapter 5 The Interpretation Existence Lemma
7. Altmetric Badge
   Chapter 6 Tiered Arithmetics
8. Altmetric Badge
   Chapter 7 Predicativity and Regions-Based Continua
9. Altmetric Badge
   Chapter 8 Unfolding Schematic Systems
10. Altmetric Badge
    Chapter 9 Iterated Inductive Definitions Revisited
11. Altmetric Badge
    Chapter 10 The Operational Penumbra: Some Ontological Aspects
12. Altmetric Badge
    Chapter 11 Feferman and the Truth
13. Altmetric Badge
    Chapter 12 Feferman’s Forays into the Foundations of Category Theory
14. Altmetric Badge
    Chapter 13 On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
15. Altmetric Badge
    Chapter 14 Proof Theory of Constructive Systems: Inductive Types and Univalence
16. Altmetric Badge
    Chapter 15 Predicativity and Feferman
17. Altmetric Badge
    Chapter 16 Sameness
18. Altmetric Badge
    Chapter 17 Gödel, Nagel, Minds, and Machines
19. Altmetric Badge
    Chapter 18 A Brief Note on Gödel, Nagel, Minds, and Machines
20. Altmetric Badge
    Chapter 19 Feferman on Set Theory: Infinity up on Trial
21. Altmetric Badge
    Chapter 20 Feferman’s Skepticism About Set Theory