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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.