The Operational Penumbra: Some Ontological Aspects

Feferman’s explicit mathematics and operational set theory are two important examples of families of theories providing an operational approach to mathematics. My aim here is to survey some central developments in these two fields, to sketch some of Fefeman’s main achievements, and to relate them to the work of others. The focus of my approach is on ontological questions.