↓ Skip to main content
What is this page? Embed badge

Feferman on Foundations

Overview of attention for book
Cover of '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
Attention for Chapter 13: On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
Altmetric Badge

Citations

dimensions_citation
6 Dimensions
Summary Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.