Cores of effectivity functions and implementation theory · Study