Homogeneously Souslin sets in small inner models

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

• Type: Journal
• Year: 2006
• Where: AML
• Authors: Peter Koepke, Ralf Schindler
• Keywords: AML 2006, Core Model, Souslin