Homogeneously Souslin sets in small inner models
Abstract
Description
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
10 pages