A model with no magic set


Krzysztof Ciesielski and Saharon Shelah

J. Symbolic Logic 64(4) (1999), 1467-1490.

We prove that there exists a model of ZFC+``continuum=omega2'' in which every subset M of R of cardinality less than continuum is meager, and such that for every subset X of R of cardinality continuum there exists a continuous function f:R-->R with f[X]=[0,1].

In particular in this model there is no magic set, i.e., a subset M of R such that the equation f[M]=g[M] implies f=g for every continuous nowhere constant functions f,g:R-->R.

Full text on line in pdf format. Requires Adobe Acrobat Reader.

Full text in postscript form.

LaTeX 2e source file. Requires amstex.cls and amssymb.cls style (class) files.

DVI and Postscript files are available at the Topology Atlas preprints side.

Last modified October 20, 2001.