Cobham recursive set functions and weak set theories

29.10.2015 15:00 - 16:30

M. Müller (U Wien)

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.

Organiser:

KGRC

Location:
SR 101, 2. St., Währinger Str. 25