Homogeneously Souslin sets in small inner models
arXiv:math/0305265
Abstract
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.
10 pages