Homogeneously Souslin sets in small inner models
Logic
2007-05-23 v1
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 \mu-measurable cardinal.
Cite
@article{arxiv.math/0305265,
title = {Homogeneously Souslin sets in small inner models},
author = {Peter Koepke and Ralf Schindler},
journal= {arXiv preprint arXiv:math/0305265},
year = {2007}
}
Comments
10 pages