Homogeneously Souslin sets in small inner models

Peter Koepke, Ralf Schindler

We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0^long does not exist or else (b) V=K where K is the core model below a μ-measurable cardinal.