On the categoricity of complete second order theories

Tapio Saarinen, Jouko Väänänen, William Hugh Woodin

We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursive…