Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Waehringer Strasse 25, A-1090 Wien, Austria ; Department of Mathematics, University of California, Berkeley, California 94720
Abstract:
We describe two opposing combinatorial properties related to adding clubs to : the existence of a thin stationary subset of and the existence of a disjoint club sequence on . A special Aronszajn tree on implies there exists a thin stationary set. If there exists a disjoint club sequence, then there is no thin stationary set, and moreover there is a fat stationary subset of which cannot acquire a club subset by any forcing poset which preserves and . We prove that the existence of a disjoint club sequence follows from Martin's Maximum and is equiconsistent with a Mahlo cardinal.