A model with no magic set
From MaRDI portal
Publication:4948520
Abstract: We will prove that there exists a model of ZFC+``c= omega_2 in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c 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 set M subseteq R such that the equation f[M]=g[M] implies f=g for every continuous nowhere constant functions f,g:R-> R .
Recommendations
Cites work
Cited in
(12)- Between continuous and uniformly continuous functions on \(\mathbb{R}^n\)
- A small transitive family of continuous functions on the Cantor set
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Functions with distant fibers and uniform continuity
- Continuous and smooth images of sets
- Magic sets for polynomials of degree n
- On slow minimal reals I
- Models of Cohen measurability
- The yellow cake
- Sets of range uniqueness for multivariate polynomials and linear functions with rank k
- Magic sets
- Uniform quasi components, thin spaces and compact separation
This page was built for publication: A model with no magic set
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948520)