2015 seminar talk: Cobham recursive set functions and weak set theories
Talk held by Moritz Müller (KGRC) at the KGRC seminar on 2015-10-29.
Abstract
We introduce Cobham recursive set functions as a notion of polynomial time computation on arbitrary sets. We ask for characterizations of these functions as those definable in certain weak set theories.